Search Result Save to File Save as CSV
Your search for 12497 returns 611 document(s)
Artificial intelligence
Author: Firebaugh, Morris W.; | Call Number: 006.3 Fir a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Artificial intelligence
Author: Rich, Elaine; | Call Number: 006.3 Ric a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic in computer science: modelling and reasoning about systems
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal Data and The Relational Model a detailed investigation into the application of interval a detailed investigation into the application of interval and Relation theory to the problem of temporal database management
Author: Date, C.J.; | Call Number: 005.74 Dat t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Translasi dari varian logika temporal allen ke RPNL dan RNL-RDC
Author: Muhammad Arzaki; | Call Number: T-0964 (Softcopy T-0673) | Edition: 2012 | Type: Tesis
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: E-book
Find Similar |  Add To Favorites |  Detail in New Window 
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 
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   1 2 3 4 5 6 7 8 9 10  Next