| Your search for 8304 returns 2147 document(s) |
| 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
|
| 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
|
| 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
|
| 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
|
| Complexity of noncrecursive logic programs with complex values, Hal. 244- 253 |
|
Author: Sergei Vorobyov; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Performance evalution of ansychronous logic pipelines with data dependen processing delays, Hal. 4-13 |
|
Author: David Kearney; Neil W. Bergmann; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result