Search Result Save to File Save as CSV
Your search for 44685 returns 3523 document(s)
Open world reasoning in datalog, ((LNCS-Lecture Notes in Computer Science 3668) Hal 427-428
Author: Gergely Lukacsy; Zsolt Nagy; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Reasoning about inference in an object-based design method ((LNCS-Lecture Notes in Computer Science 670) Hal. 1-18
Author: C.B. Jones; | Call Number: 004. Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138
Author: William P. de Roever; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Probabilistic reasoning in intelligent system: networks of plausible inference revised second printing/ Judea Pearl
Author: Pearl, Judea; | Call Number: 160 Pea P | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Model Commonsense Reasoning Bahasa Indonesia dengan Pendekatan Intermediate Task, Cross-lingual Transfer Learning, dan Task Recasting
Author: Rocky Arkan Adnan Ahmad; | Call Number: SK-2075 (Softcopy SK-1557) Source code SK-785 | Edition: Rahmad Mahendra | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan prototipe trust (temukan rumah sakit terdekat) E-Health mobile context aware system menggunakan semantic web reasoning
Author: Intan Sari Hikmatul Husna Zaid; Rakhmatul Adhi Pratama; Sari Dwi Handiny; Suharjono; | Call Number: SP-132 (Softkopi SP-73) | Type: Student Project (SP)
Find Similar |  Add To Favorites |  Detail in New Window 
Quench, Goal-matching and Converge-The Three-phase Reasoning of a Q'tron Neural Network (54-59)
Author: T.-W.Yue S.Chiang; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan keping tunggal untuk antarmuka manusia dari komputer/Asep Rohmat
Author: Rohmat, Asep; | Call Number: 005.6 Roh p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Deteksi Paranodus pada citra jaringan saraf gigi manusia/ M. Rabindra Surya
Author: M. Rabindra Surya; | Call Number: SK-724 (Softcopy SK-206) Source code SK-188 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   21 22 23 24 25 26 27 28 29 30  Next