Search Result Save to File Save as CSV
Your search for 51944 returns 34 document(s)
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion (181-201)
Author: Masayuki Mizuno Eijiro Sumii; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Constant propagation versus join reordering on datalog (LNCS-Lecture Notes in Computer Science 985)
Author: Mariano P. Consens, Alberto O. Mendelzon, Dimitra Vista, Peter T. Wood; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Open world reasoning in datalog, ((LNCS-Lecture Notes in Computer Science 3668) Hal 427-428
Author: Gergely Lukacsy; Zsolt Nagy; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4  Next