| Your search for 36539 returns 1627 document(s) |
| Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203 |
|
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bringing Answer Set Programming to the Next Level: a Real Case on Modeling Course Timetabling. Hal 471-476 |
|
Author: Irvi Firqotul Aini, Ari Saptawijaya, Siti Aminah; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| GEM resource construction set/GEM RCS |
|
Call Number: 006.602 GEM | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic construction of 2D shape models, page 433 |
|
Author: N. Duta | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Focussing proof-net construction as a midleware paradign, Hal. 501-516 |
|
Author: Jean Marc Andreocoli; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Experiments in automatic statistical thesaurus construction, Hal. 77-88 |
|
Author: Carolyn J. Crouch and Bokyung Yang; | Call Number: SEM-254 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient construction of large test collections, Hal. 282-289 |
|
Author: Gordon V. Cormack; Christopher R. Palmer; Charles L.A. Clarke; | Call Number: SEM-250 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimal parallel suffix tree construction,Hal 290-299 |
|
Author: Ramesh Hariharan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symmetry breaking for suffix tree construction,Hal 300-309 |
|
Author: Suleyman Cenk Sahinalp; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On construction of k-wise independent random variables,Hal 564-573 |
|
Author: Howard Karloff; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result