Search Result Save to File Save as CSV
Your search for 25790 returns 2154 document(s)
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 
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 
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 
The brains of men and machines/ Ernest W. Kent
Author: Kent, Ernerst W.; | Call Number: 006.3 Ken b | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Handbook of automated reasoning vol. 1/editor Alan Bobinson and Andrei Voronkov
Call Number: 006.3 Han | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Computers for artificial intelligence applications
Author: Wah, Benjamin; | Call Number: 006.307 Wah t | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Artificial intelligence: foundations & applications
Author: Winston, Patrick Henry; | Call Number: 006.3 Win a | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next