| Your search for 36718 returns 1503 document(s) |
| 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
|
| Logic in computer science: modelling and reasoning about systems |
|
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fuzzy reasoning in decision making and optimization/ Christer Carlsson |
|
Author: Carsson, Christer; | Call Number: 511.3 Car f | Type: Buku
|
|
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
|
| The computer modelling of mathematical reasoning/ Alan Bundy |
|
Author: Bundy, Alan; | Call Number: 006.3 Bun c | Edition: Fourth edition [4th ed.] | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Heuristic reasoning about uncertainty: an artificial intelligence approach |
|
Author: Cohen, Paul R.; | Call Number: 006.3 Coh h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Planning and understanding: a computational approach to human reasoning |
|
Author: Wilenski, Robert; | Call Number: 154.24 Wil p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The finance function in a global corporation, page 108 |
|
Author: Mihir A Desai | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result