Search Result Save to File Save as CSV
Your search for 3395 returns 983 document(s)
Handbook of automated reasoning vol. 1/editor Alan Bobinson and Andrei Voronkov
Call Number: 006.3 Han | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Handbook of automated reasoning vol. II
Call Number: 006.3 Han | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The Handbook artificial intelligence vol. III
Call Number: 006.3 Han | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
The Handbook of artificial intelligence vol. 1
Call Number: 006.3 Han | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
The computer modeling of mathematical reasoning
Author: Bundy, Alan; | Call Number: 006.3 Bun c | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Automation of reasoning 1: classical papers on computational logic 1957-1966
Author: Siekmann, Jorg; Wrightson, Graham ed.; | Call Number: 006.35 Sie a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The Handbook of artificial intelligence volume 2
Author: Barr, Avron; | Call Number: R. 006.3 Han a | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Artificial intelligence: an MIT perspective : vol. 1. expert problem solving natural language understanding intelligent computer coaches representation and learning
Call Number: 006.3 Art | Type: Buku
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 
Artificitl intellingence techniques: a comprehensive catalogue/Alan Bundy
Author: Bundy, Alan; | Call Number: 006.3 Bun a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next