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