| Your search for 45698 returns 1259 document(s) |
| Fundamentals of computer logic |
|
Author: Hutchison, David; | Call Number: 621.395 Hut F | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal logic for proof-carrying code, Hal. 31-46 |
|
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Set theory, logic and their limitations/ Moshe Machover |
|
Author: Macchover, Moshe; | Call Number: 511.322 Mac s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming prolog and its applications/ Bob Kowalski |
|
Author: Kowaslki, Bob; | Call Number: R. 006.3 Kow l | 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
|
| Generator Induksi Satu Fasa Untuk Pembangkitkan Listrik Tenaga Angin (37) |
|
Author: Aslimeri,M.T
Ganefri,M.Pd; | Call Number: SEM-307 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisa Kecepatan Motor Induksi Fasa Terpisah Berbasis Model DQ (186-194) |
|
Author: Arman Jaya
Soebagio
Mauridhi Heri Purnomo
M. Ashari; | Call Number: SEM-318 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Research on the Electric Vehicle Control System Based on Brain-Computer Interface (V1-281 -- V1-284) |
|
Author: Sun Xian-bin
Ma Shu-yuan
Song Mei-qin; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
Search Result