| Your search for 36708 returns 301 document(s) |
| Symbolic logic & mechanical theorem proving/Chin-Liang Chang |
|
Author: Chang, Chin Liang; | Call Number: 511.3 Cha s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic and computer design fundamentals 4th ed.(INSTRUCTOR'S MANUAL) |
|
Author: Mano, M. Morris; | Call Number: 621.395 Man l | Type: Instructor's Manual
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| High speed optimised reconfigutable architecture of fuzzy logic controller, HAL. 558-561 |
|
Author: M.A. Saeed; M. Hasan; Nesar Ahmad; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Otomatisasi pemberian ayam petelor berbasis fuzzy logic, HAL. D.11-D.14 |
|
Author: Kukuh Setyadjit, Totok Mujiono, Muridhi Hery P.; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modification fuzzy logic on the sanor system for robot navigation, HAL. II.28-II.31 |
|
Author: Hendi Wicaksono; | Call Number: SEM-280 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| Connection-based proof search in propositional BI logic, Hal. 111-128 |
|
Author: Didier Glamiche; Daniel Mery; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Colored line tracking mobile robot using fuzzy logic control, Hal. 28-38 |
|
Author: Thiang, Felix Pasila, Agus Widian; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards a probabilistic model logic for semantic-based information retrieval, Hal. 140-151 |
|
Author: Jian-Yun Nie; | Call Number: SEM-254 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dolores: a sysem for logic-based retrieval of multimedia objects, Hal. 257-266 |
|
Author: Norbert Fuhr, Norbert , Thomas Rolleke; | Call Number: SEM-250 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result