| Your search for 25608 returns 387 document(s) |
| Logic design and computer organization |
|
Author: Lawin, Marton H.; | Call Number: 621.395 Lew l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing logic with logic programming with prolog |
|
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku Pusat
|
|
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
|
| Computational complexity |
|
Author: Papadimitriou, Christos M.; | Call Number: 511.3 Pap c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microcomputer Structures |
|
Author: D'Angelo, Henry; | Call Number: 004.16 D'an M | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logic of programming |
|
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | Type: Buku
|
|
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
|
| 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
|
| Boolean semantics for natural language |
|
Author: Keenan, Edward L.; | Call Number: 160 Kee b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result