Search Result
Save to File
Your search for
29622
returns
2701
document(s)
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
Handbook of automated reasoning vol. II
Call Number: 006.3 Han | 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
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
Mathematical methods for artificial intelligence and autonomous systems
Author: Dougherty, Edward R.; | Call Number: 006.3 Dou m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Artificial intelligence : an MIT perspective vol.2 understanding vision manipulation computer design symbol manipulation
Author: Edited by: Ptrick Henry winston; Richard henry B.; | Call Number: 006.3 Art | 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
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
Artificial intelligence, simulation, and modeling
Call Number: 006.3 Art | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Knowledge engineering in computer-aided design
Call Number: 620.004 Kno | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev 1
2
3
4
5
6
7
8
9
10
Next
Search Result