Search Result
Save to File
Your search for
40390
returns
220
document(s)
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
A Procedural Semantic for Well Founded Negation in Logic Programs (22-33)
Author: Kenneth A. Ross; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning (405-424)
Author: Long H. Pham Jun Sun Quang Loc Le; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Termination Detection in Logic Programs Using Argument Sizes (216-226)
Author: Kirack Sohn Allen Van Gelder; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Informing The Status Of Online Teacher Education Programs In Canada (311-312)
Author: Lynette D. Phyfe; | Call Number: SEM-330 | Type: Indeks Artikel prosiding/Sem
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
Platect: detecting plagiarism among a set of programs that solve identical problems (59-64)
Author: Tisha Melia Ricky Suryadharma Denvil Prasetya Budianto Mario R. Mahardhika; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Some connections between iterative programs, recursive programs, and first-order logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 150-166
Author: A.J. Kfoury; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Engineering & industrial software directory third edition: a guide to computer programs in applied science
Call Number: R.005.1 025 Eng | Type: Buku Referensi
Find Similar
|
Add To Favorites
|
Detail in New Window
Designing and building parallel programs: concepts and tools for parallel software engineering/Ian I. Foster
Author: Foster, Ian; | Call Number: 005.2 Fos d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
13
14
15
16
17
18
19
20
21
22
Next