Search Result Save to File Save as CSV
Your search for 52304 returns 499 document(s)
Inference of Inequality Constraints in Logic Programs (227-240)
Author: Alexander Brodsky Yehoshua Sagiv; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Inference of Monotonicity Constraints in Datalog Programs (190-199)
Author: Alexander Brodsky Yehoshua Sagiv; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Analyzing logic programs with dynamic scheduling,Hal 240-253
Author: Kim Marriott; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Multi-pass execution of functional logic programs,Hal 361-374
Author: Jukka Paakki; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Modular Acyclicity and Tail Recursion in Logic Programs (92-101)
Author: Kenneth A.Ross; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Complexity of noncrecursive logic programs with complex values, Hal. 244- 253
Author: Sergei Vorobyov; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Prev   1 2 3 4 5 6 7 8 9 10  Next