Search Result Save to File Save as CSV
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