| Your search for 27235 returns 1129 document(s) |
| Mathematical logic for computer science 3rd ed. |
|
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science second edition |
|
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symobolic logic 5th ed/ Irving M. Copi |
|
Author: Copi, Irving M.; | Call Number: 511.3 Cop s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Introduction to non-classical logic/ Graham Priest |
|
Author: Priest, Graham; | Call Number: 511.3 Pri i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational logic in multi-agent systems: 9th International workshop, CLIMA IX Dresden, Germany, September 2008 revised selected and invited papers |
|
Author: Fisher, Michael; | Call Number: 006.3 Fis c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logic of programming |
|
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing logic with logic programming with prolog |
|
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result