Your search for 5313 returns 2034 document(s) |
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
|
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
|
Epistemic logic for AI and computer science |
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | 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
|
Introduction to logic programming |
Author: Hogger, Christopher John; | Call Number: 004.61 Hog i | Type: Buku Pusat
|
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: a foundation for computer science |
Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic designer's manual |
Author: Lenk, John D.; | Call Number: 621.395 Len l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|