Search Result Save to File Save as CSV
Your search for 36703 returns 262 document(s)
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 
Sistem Pakar Mendiagnosa Penyakit Pada Manusia dengan Penalaran Berbaisis Aturan (RUle-Based) Reasoning)
Author: khairul ummi , Rika Rosnelly; | Call Number: SEM-356 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Proses reasoning dan pembuatan aturan semantik pada sistem personalisasi e-learning berbasis semantic web
Author: Yuan Hanif Syaniardi; | Call Number: SK-0851 (Softcopy SK-333) Source code SK-294 | Type: Skripsi
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 
Integrasi RDF store dan reasoning engine dalam prototipe sistem personalisasi e-learning berbasis semantic web
Author: Muhammad Edwin Dwi Putra; | Call Number: SK-0898 (Softkopi SK-379) SCSK-327 | 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 
Barron's practice exercises for the TOEFL test 3rd ed./Pamela J. Sharpe
Author: Sharpe, Pamela J.; | Call Number: 428.2 Sha b | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   12 13 14 15 16 17 18 19 20 21  Next