Search Result
Save to File
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