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