| Your search for 457 returns 1685 document(s) |
| 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
|
| The design and analysis of VLSI circuits |
|
Author: Glasser, Lance A.; | Call Number: 621.396 GLa d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| System design with microprocessors/ D. Zissos |
|
Author: Zissos, D.; | Call Number: 621.381 9 Zis 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
|
| Design of logic systems |
|
Author: Lewin, Douglas; | Call Number: 621.381 9 Lew d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis and design of digital integrated circuits |
|
Author: Hodges, David A.; | Call Number: 621.381 Hod s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis and design of digital integrated circuits |
|
Author: Hodges, David A.; | Call Number: 621.395 Hod a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Epistemic logic for AI and computer science |
|
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result