Search Result Save to File Save as CSV
Your search for 5326 returns 1786 document(s)
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 
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 
Knowledge-based systems in artificial intelligence
Author: Davis, Randall; | Call Number: 006.3 Dav k | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Knowledge-based system in artificial intelligence
Author: Davis, Randall; | Call Number: 006.3 Dav k | 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 
Intelligent knowledge based systems : an introduction
Author: Black, W.J.; | Call Number: 006.3 Bla i | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Intelligent knowledge based systems: an introduction
Author: Black, W.J.; | Call Number: 006.3 Bla i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Knowldege-based programming/Enn Tyugu
Author: Tyugu, Enn; | Call Number: 006.3 Tyu k | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Automated reasoing: 33 basic research problems
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next