| Your search for 27235 returns 1129 document(s) |
| 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
|
| Chess skill in man and machine/ edited by Peter W. Frey |
|
Author: Krutz, Ronald L.; | Call Number: 794.1 Che | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logics of time and computation |
|
Author: Goldblatt, Robert; | Call Number: 160 Gol l | 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
|
| 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
|
| 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
|
| VLSI array processors/Sun Yuan Kung |
|
Author: Kung, Sun Yuan; | Call Number: 621.395 Kun v | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result