Your search for 612 returns 677 document(s) |
Computing with logic: logic programming with prolog |
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical theory of program correctness/ Jaco de Bakker |
Author: Baker, Jaco de; | Call Number: 005.3 Bak m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Why prolog?: justifying logic programming for practical applications |
Author: Lazarev, Gregory L.; | Call Number: 006.3 Laz w | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal Methods in Artificial Intelligence |
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The mathematics of inheritance systems/ David S. Touretzky |
Author: Touretzky, David S.; | Call Number: 006.3 Tou m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic analyzer for microprocessors/ John Kneen |
Author: Kneen, John; | Call Number: 621.395 Kne l | 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
|
The logical basis for computer programming vol. 2: deductive systems |
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The deductive foundation of computer programming |
Author: Manna, Zohar; | Call Number: 519.7 Man d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The logical basis for computer programming vol.2 deductive system |
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|