| Your search for 25804 returns 2269 document(s) |
| 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
|
| 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
|
| CASED-BASE REASONING (CBR) DAN PENGARUHNYA TERHADAP PENINGKATKAN KEMAMPUAN PEMECAHAN MASALAH |
|
Author: Yana Aditia Gerhana', Cepy Slamet', Ayu Puji Rahayu; | Call Number: SEM-361 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| METODE CASE RETRIEVE DALAM CASE BASED REASONING UNTUK IDENTIFIKASI PENYAKIT MANUSIA |
|
Author: Agus Sasmito Aribowo, Siti Khomsah; | Call Number: SEM-219 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic machines & diagrams/ Martin Gardner |
|
Author: Gardner, Martin; | Call Number: 621.395 Gar l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of Computer Science From Data Manipulation To Theory of Computation/ Benrouz A. Forouzan |
|
Author: Forouzan, Behrouz; | Call Number: 004 For f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Java Software solutions: foundations of program design 6th ed. |
|
Author: Lewis, John; | Call Number: 005.133 Lew j | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result