Search Result Save to File Save as CSV
Your search for 44685 returns 3392 document(s)
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 
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 
Call centers: sentuhan manusia di jejaring, page11
Author: Jos Luhukay | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan data mart untuk pengelolaan sumber daya manusia
Author: Alex Ferdinansyah dan Budi Yuwono | Call Number: JURNAL SISTEM INFORMASI, Vol. 2(2006): No.1 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
Interaksi manusia dan komputer: teori dan praktek/oleh P. Insap Santosa
Author: Santosa, Insap P.; | Call Number: 005 San i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   16 17 18 19 20 21 22 23 24 25  Next