Your search for 26197 returns 849 document(s) |
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 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
|
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
|
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
|
Clausal form logic |
Author: Richards, Tom; | Call Number: 006.3 Ric c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|