Search Result Save to File Save as CSV
Your search for 25800 returns 2555 document(s)
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 
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 
Artificial intelligence: a modern approach
Author: Russell, Stuar J.; | Call Number: 006.3 Rus a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Readings in artificial intelligence
Call Number: 006.3 Rea | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Artificial intelligence: the heuristic programming approach
Author: Slagle, James R.; | Call Number: 006.3 Sla a | 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 
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 
Artificial intelligence & statistics
Call Number: 006.3 Art | 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 
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 
Prev   1 2 3 4 5 6 7 8 9 10  Next