| Your search for 29658 returns 847 document(s) |
| 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 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
|
| Computational intelligence: principles, techniques and applications |
|
Author: Konar, Amit; | Call Number: 006.3 Kon c | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational intelligence: principles, techniques and applications |
|
Author: Konar, Amit; | Call Number: 006.3 Kon c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational intelligence: an introduction 2nd ed. |
|
Author: Engelbrecht, Andries P.; | Call Number: 006.3 Eng c | 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: theory, logic and application |
|
Author: Brule, James F.; | Call Number: 006.3 Bru a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Artificial intelligence: theory logic and application |
|
Author: Brule, James F.; | Call Number: 006.3 Bru a | 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
|
Search Result