| Your search for 24983 returns 1161 document(s) |
| 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
|
| Artificial intelligence and applications in the VAX environment |
|
Author: Stock, Michael; | Call Number: 006.3 Sto a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Artificial Intelligence The search for the perfect machine |
|
Author: Stevens, Lawrence; | Call Number: 006.3 Ste a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tutorial : Computers for artificial intelligence applications |
|
Author: Wah, Benjamin; | Call Number: 006.307 Wah t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic logic and mechanical theorem proving |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer computer scientist |
|
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science 3rd ed. |
|
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science second edition |
|
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result