Search Result
Save to File
Your search for
26197
returns
845
document(s)
Komputabilitas/Heru Suhartanto
Author: Suhartanto, Heru; | Call Number: 005.131 Suh k | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematics for computer science/Arnold and I. Guessarian
Author: Arnol, A.; | Call Number: 511.32 Arn m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An Introduction to non-classical logic/ Graham Priest
Author: Priest, Graham; | Call Number: 511.3 Pri i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Natural Language Understanding and Logic Programming II/ edited by V. Dahl and P Saint-Dizier
Call Number: 006.35 Nat | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal logic: its scope and limits
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Logics of time and computation
Author: Goldblatt, Robert; | Call Number: 160 Gol l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal logic: its scope and limits/ Richard Jeffrey
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Deductive logic and Description language/ Frank R. Harrison III
Author: Harrison, Frank R.; | Call Number: 511.3 Har d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Natural language undertanding
Author: Allen, James; | Call Number: 005.13 All n | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Introduction to logic programming
Author: Hogger, Christopher John; | Call Number: 004.61 Hog i | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next