Your search for 25804 returns 2249 document(s) |
Information, uncertainty, complexity/ J.F. Traub |
Author: Traub, J.F.; | Call Number: 511.4 Tra i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Database design with common sense business reasoning and learning |
Author: Veda C. Storey | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Evidential reasoning for object recognition, page 837 |
Author: T.O. Binford | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Clausal form logic: an introduction to the logic of computer reasoning |
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Planning and understanding: a computational approach to human reasoning |
Author: Wilensky, Robert; | Call Number: 006.3 Wil p | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The logical basis for computer programming vol. I: deductive reasoning |
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Reasoning with expressive discription logics: theory and practice, Hal. 1-15 |
Author: Ian Harrocks; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The reflection theorem: a study in meta-theoretic reasoning, Hal. 375-391 |
Author: Lawrence C. Paulson; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An application of plausible reasoning to information retrieval, Hal. 244-252 |
Author: Farhad Oroumchian; Robert N. Oddy; | Call Number: SEM-248 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated reasoning: introduction and applications/ Larry Wos |
Author: Woss, Larry; | Call Number: 006.3 Aut | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|