| Your search for 38064 returns 667 document(s) |
| Fundamentals of computing I: logic, problem solving programs and computers c++ edition/Allen B. Tucker |
|
Author: Tucker, Allen P.; | Call Number: 004 Tuc f | Type: Buku
|
|
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
|
| 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
|
| Active Contour Model Using Fuzzy Logic And Dynamic Programming (312-317) |
|
Author: Zeying TANG
Hanqing LU; | Call Number: SEM-306 | 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
|
| Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking, page 379-409 |
|
Author: Philip W. L. Fong, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Nonmonotonic logic programs for the semantic web, (LNCS-Lecture Notes in Computer Science 3668) Hal 446-447 |
|
Author: Roman Schindlauer; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Termilog: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254) Hal 444-447 |
|
Author: N. Lindenstrauss; Y. Sagiv; A. Serebrenik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| TermiLong: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254)Hal. 444-447 |
|
Author: N. Lindenstrauss, Y. Sagiv; A. Serebernik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid probabilistic logic programs with non-monotonic negation, (LNCS-Lecture Notes in Computer Science 3668) Hal 204-220 |
|
Author: Emad Saad; Enrico Pontelli; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result