Search Result
Save to File
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