| Your search for 7786 returns 1465 document(s) |
| On the relation between answer set and sat procedures (or, between cmodels and smodels),(LNCS-Lecture Notes in Computer Science 3668) Hal 37-51 |
|
Author: Enrico Giunchiglia; Marco Maratea; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards an integration of answer set and constraint solving, (LNCS-Lecture Notes in Computer Science 3668) Hal 52-66 |
|
Author: S. Baselice; P.A. Bonatti; M. Gelfond; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Prediksi Stok Obat Di Apotek Dengan Menggunakan Metode Rough Set (Studi Kasus : Apotek XYZ) |
|
Author: Novi Yanti; | Call Number: SEM-356 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis empirik penggunaan reduced-set object-oriented metrics dalam mengkaji kualitas perngkat lunak open - Source |
|
Author: Elva Savitri; | Call Number: T-0553 (Softcopy T-0212) | Edition: 2006 | Type: Tesis
|
|
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
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic Programming on GPU approach to the fixed - parameterized algorithm of maximum indpenent set of graph with low treewidth |
|
Author: Muhammad Ayaz Dzulfikar; | Call Number: SK-1693 (Softcopy SK-1175) Source Code SK-699 | Edition: Lim Yohanes Stefanus | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Antisipasi representasi visual di masa depan dari data set video tanpa label untuk prediksi aksi |
|
Author: Alva Thomson; | Call Number: SK-1584 (Softcopy SK-1066) | Edition: Mohammad Ivan Fanany | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementasi 2D set partitioning in hierarchical tree pada sistem tertanam untuk kopresi data electrocardiogram multilead |
|
Author: Grafika Jati; | Call Number: SK-1301 (Softcopy SK-783) Source code SK-516 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result