Search Result Save to File Save as CSV
Your search for 457 returns 1706 document(s)
Programming with constraints: an introduction/ Kim Marriott
Author: Marriott, Kim; | Call Number: 005.13 Mar p | 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 
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 
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 
Logical form in natural language/ William G. Lycan
Author: Lycan, William G.; | Call Number: 412 Lyc i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An introduction to mathematical reasoning/ Boris Iglewicz
Author: Iglewicz, Boris; | Call Number: 511.3 Igl i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Pengenalan tulisan tangan latin menggunakan fuzzy artmap
Author: Wiedjaja; | Call Number: T-0803 (Softcopy T-0458) Source Code T-0073 | Edition: 2009 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   16 17 18 19 20 21 22 23 24 25  Next