Your search for 25823 returns 3154 document(s) |
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 problem solving |
Author: Kowalski, Robert; | Call Number: 519.7 Kow l | 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
|
Logic as grammar: an approach to meaning in natural language/ Norbert Hornstein |
Author: Hornstein, Norbert; | Call Number: 415 Hor l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming in C |
Author: Kochan, Stephen G.; | Call Number: 005.133 Koc p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for applications second edition: graduate texts in computer science |
Author: Nerode, Anil; | Call Number: 005.1 Ner d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical logic |
Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming in c++ |
Author: Dewhurst, Stephen C.; | Call Number: 005.133 Dew p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic machines & diagrams/ Martin Gardner |
Author: Gardner, Martin; | Call Number: 621.395 Gar l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Advanced: techniques and examples |
Author: Ross, P.M.; | Call Number: 005.133 Ros a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|