| Your search for 6257 returns 1590 document(s) |
| Proof Nets for Unit-Free Multiplicative-Additive Linear Logic, page 784-842 |
|
Author: D. J. D. Hughes, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mechanizing logic in an aspect oriented atrribute grammar system, hal 77-83 |
|
Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 2 Mei 2003 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| TRENDS IN… A CRITICAL REVIEW on the role of logic in information retrieval, page 1 |
|
Author: Fabrizio Sebastiani | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Nonmonotonic logic for use in information retrieval: an exploratory paper, page 35 |
|
Author: C.D. Hurt | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic as grammar: an approach to meaning in natural language/ Norbert Hornstein |
|
Author: Hornstein, Norbert; | Call Number: 415 Hor l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
Search Result