Search Result Save to File Save as CSV
Your search for 24811 returns 1077 document(s)
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 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 
Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
First-order logic and automated proving
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic based decision support: mixed integer model formulation
Author: Jeroslow, Robert G.; | Call Number: 658.403 Jer l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Elements of the theory of computation
Author: Lewis, Harry R.; | Call Number: 511 Lew e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic and data bases/edied by Herber Gallaire
Call Number: 005.74 Log | 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 
Prev   1 2 3 4 5 6 7 8 9 10  Next