Search Result Save to File Save as CSV
Your search for 1495 returns 3532 document(s)
The temporal logic of reactive and concurrent systems specification
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic for problem solving
Author: Kowalski, Robert; | Call Number: 519.7 Kow 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 
Logic programming/ edited by K.L. Clark and S. A. Tarnlund
Call Number: 005.1 Log | Type: Buku
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 
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 
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 
The specification of computer programs/Wladyslaw M. Turski
Author: Turski, Wladyslaw M.; | Call Number: 005.1 Tur s | Type: Buku
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 
Prev   1 2 3 4 5 6 7 8 9 10  Next