| Your search for 2936 returns 910 document(s) |
| 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
|
| Computer arithmetic logic and design |
|
Author: Spaniol, Otto; | Call Number: 621.39 Spa C | 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
|
| Descriptive complexity/Neil Immerman |
|
Author: Immerman, Neil; | Call Number: 511.3 Imm d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intelligent scheme of data security and message transmission, HAL. 453-455 |
|
Author: Prasun Chakrabarti; Shambit Saha, Ranjan Lahiri; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Research on 360-degree performance evaluation of choosing appraisal subjects based on evaluation content, Hal. 3486-3489 |
|
Author: Lu Zhou; Haojie Liu; Suhua Wang; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| APLIKASI REKOMENDASI PEMBELIAN BARANG DENGAN STUDI KASUS PADA PAU ELEKTRONIK |
|
Author: Didit Indra Purwanto1, Tiur Gantiniz; | Call Number: SEM-361 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result