Your search for 24362 returns 608 document(s) |
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
|
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
|
Logic for problem solving |
Author: Kowalski, Robert; | Call Number: 519.7 Kow l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Ekplorasi representasi dan verifikasi perangkat lunak berbasiskan komponen dalam F-logic, Hal. 546-550 |
Author: Rakhmad Azhari; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Natural Language Understanding and Logic Programming II/ edited by V. Dahl and P Saint-Dizier |
Call Number: 006.35 Nat | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Microcomputer structures: an introduction to digital electronic, logic design, and computer architecture |
Author: D'Angelo, Henry; | Call Number: 621.391 6 Dan 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 methodologies/ edited by S. Goto |
Call Number: 621.395 Des | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
VLSI fabrication principles: silicon and gallium arsenide |
Author: Ghandhi, Sorab K.; | Call Number: 621.381 Gha v | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|