Search Result Save to File Save as CSV
Your search for 9203 returns 2436 document(s)
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 and data bases/edied by Herber Gallaire
Call Number: 005.74 Log | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Foundations of inductive reasoning/ Ronald Christensen
Author: Christensen, Ronald; | Call Number: 006.3 Chr f | 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 
The mathematical theory of optimal processes/ L.S. Pontryagin
Author: Pontryagin, L.S.; | Call Number: 519.6 Pon m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Clausal form logic
Author: Richards, Tom; | Call Number: 006.3 Ric c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical optimization and economic theory/ Michael D. Intrilligator
Author: Intriligator, Michael D.; | Call Number: 330.154 3 Int m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next