Your search for 917 returns 4388 document(s) |
Computer algorithms: introduction to design and analysis 2nd ed./Sara Baase |
Author: Baase, Sara; | Call Number: 519.7 Baa c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Chess skill in man and machine/ edited by Peter W. Frey |
Author: Krutz, Ronald L.; | Call Number: 794.1 Che | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Introduction to probability and inductive logic/ Ian Hacking |
Author: Hacking, Ian; | Call Number: 160 Hac i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symobolic logic 5th ed/ Irving M. Copi |
Author: Copi, Irving M.; | Call Number: 511.3 Cop s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Introduction to non-classical logic/ Graham Priest |
Author: Priest, Graham; | Call Number: 511.3 Pri i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic programming and knowledge engineering |
Author: Amble, Tore; | Call Number: 005.1 Amb l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallel logic programming in PARLOG |
Author: Gregory, Steve; | Call Number: 005.133 Gre p | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for problem solving |
Author: Kowalski, Robert; | Call Number: 519.7 Kow i | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
From logic programming to prolog |
Author: Apt, Krzysztof R.; | Call Number: 005.133 Apt f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for applications 2nd ed. |
Author: Nerode, Anil; | Call Number: 005.1 Ner l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|