| Your search for 52292 returns 429 document(s) |
| EVALUATION OF DATABASE RECURSIVE LOGIC PROGRAMS AS RECURRENT FUNCTION SERIES(177-189) |
|
Author: Georges GARDARIN, Christophe de MAINDREVILLE; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| "Induction, Recursion, and Programming" |
|
Author: Wand, Mitchell; | Call Number: 005.1 Wan i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Recursion Schemes in Coq (202-221) |
|
Author: Kosuke Murata
Kento Emoto; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the Power of Algorithm with Recursion (377-386) |
|
Author: Catriel Beeri
Tova Milo; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
Search Result