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