Search Result Save to File Save as CSV
Your search for 36703 returns 262 document(s)
Logic in computer science:Modelling and reasoning about systems 2nd ed.
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Networks crowds and markets: reasoning about a highly connected word
Author: Easley, David; | Call Number: 303.48 Eas n | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Handbook of Automated reasoning Volume I/Editors Alan Robinson and Andrei Voronkov
Call Number: 006.3 Han | 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 
Automation of reasoning 1: classical papers on computational logic 1957-1966
Author: Siekmann, Jorg; Wrightson, Graham ed.; | Call Number: 006.35 Sie a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Reasoning agent pada sistem personalisasi situs web/ Nancy Paat
Author: Nancy Paat; | Call Number: SK-0428(Source Code SK-28) | Edition: Johny Moningka | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Data Quality Enhancement of Databases Using Ontologies and Inductive Reasoning (1117-1134)
Author: Olivier Cure Robert Jeansoulin; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Rule System for Heterogeneous Spatial Reasoning in Geographic Information System (838-847)
Author: Haibin Sun Wenhui Li; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Reasoning about the Cascading Failure of Financial Network Using Prolog (489-496)
Author: Jorgie Bartelsi Permana Muhammad Arzaki Yanti Rusnawati; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146)
Author: Michael Kifer Georg Lausen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   2 3 4 5 6 7 8 9 10 11  Next