Search Result Save to File Save as CSV
Your search for 31477 returns 2432 document(s)
Automated reasoing: 33 basic research problems
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Automated reasoning: 33 basic research problems/Larry Wos
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Automated reasoning: introduction and applications/ Larry Wos
Author: Woss, Larry; | Call Number: 006.3 Aut | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
First-order logic and automated proving
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Problems in programming: experince through practice/Andrej Vitek
Call Number: 005.1 Pro | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Programming for artificial intelligence: methods and applications
Author: Kreutzer, Wolfgang; | Call Number: 006.3 Kre p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The cognitive computer on language, learning, and artificial intelligence
Author: Schank, Roger C.; | Call Number: 006.3 Sch c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Penerapan logika UNITY dalam sertifikasi perangkat lunak berbasis komponen dengan studi kasus aplikasi E-Voting/ Prastudy Mungkas Fauzi
Author: Prastudy Mungkas Fauzi; | Call Number: SK-0690 (Softcopy SK-0171) Source code SK-0160 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Deduction systems/Rolf Socher-Ambrosius
Author: Socher-Ambrosius, Rolf; | Call Number: 511.3 Soc d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Handbook of automated reasoning vol. II
Call Number: 006.3 Han | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next