Your search for 29740 returns 286 document(s) |
Logic and computer design fundamentals |
Author: Mano, M. Morris; | Call Number: 621.392 Man l | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic design and switching theory |
Author: Muroga, Saburo; | Call Number: 621.395 Mur l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Choosing and using ECL |
Call Number: 621.381 Mat c | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic logic and mechanical theorem proving |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for computer computer scientist |
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | 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
|
An Introduction to probability and inductive logic/ Ian Hacking |
Author: Hacking, Ian; | Call Number: 160 Hac i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
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
|