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