Search Result Save to File Save as CSV
Your search for 1789 returns 971 document(s)
How to argue: an introduction to logical thinking
Author: Crossley, David J.; | Call Number: 160 Cro h | Type: Buku
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 
Handbook of Automated reasoning Volume I/Editors Alan Robinson and Andrei Voronkov
Call Number: 006.3 Han | 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 
Understanding scientific reasoning/Ronald N. Giere
Author: Giere, Ronald N.; | Call Number: 501.8 Gie u | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A many-sorted calculus based on resolution and paramodulation
Author: Walther, Christoph; | Call Number: 511.3 Wal m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Design of an intelligent customer relationship system in tourism industry in Iran using evidential reasoning approach, HAL. 169-182
Author: S. Rezalian Fardael and M.A.S Monfared; | Call Number: SEM-291 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal theories of the commonsense world/ edited by Jerry R. Hobbs & Robert C. Moore
Call Number: 006.3 For | Edition: 4th ed. | 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 
Qualitative reasoning about physical systems
Call Number: 006.6 Qua | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next