Search Result Save to File Save as CSV
Your search for 44904 returns 465 document(s)
Models of thought
Author: Simon, Herbert A.; | Call Number: 153.1 Sim m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Inductive learning secara incremental pada answer set programs untuk pembuatan peta permainan
Author: Julio Christian Young; | Call Number: T-1233 (Softcopy T-941) Source Code T-312, Mak 40 | Edition: 2019 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Incremental Inductive Learning of Answer Set Programs for Maps Generation Problems (483-488)
Author: Julio Christian Young Ari Saptawijaya; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Listening to TOEFL 4th ed. practice set A-B
Call Number: 425 Lis | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Listening to TOEFL 4th ed. practice set C-D
Call Number: 425 Lis | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Listening to TOEFL 4th ed. practice set A-B
Call Number: 425 Lis | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
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 
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 
Solving for set variables in higher-order theorem proving, Hal. 408-414
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next