Search Result Save to File Save as CSV
Your search for 36732 returns 302 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 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 
Vektorisasi citra dalam kompresi citra hiperspektral dengan menggunakan set Partitioning In Hierarchical Trees Dan Discrete Cosine Transform.
Author: Wiwin Farhania; | Call Number: T-1038 (Softcopy T-746) Source Code T-181 | Edition: 2013 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   20 21 22 23 24 25 26 27 28 29  Next