| Your search for 24983 returns 1165 document(s) |
| 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: a foundation for computer science |
|
Author: Sperschneider, V.; | Call Number: 004 Spe e | 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
|
| Mind design: philosophy, psychology, artificial intelligence/ editor by John Haugeland |
|
Call Number: 006.3 Min | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Guide to commercial artificial intelligence: fundamentals and real world applications |
|
Author: Rauch-Hindin, Windy B.; | Call Number: 006.3 Rau g | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result