Search Result Save to File Save as CSV
Your search for 51944 returns 34 document(s)
Induction, recursion, and programming/ Mitchell Wand/ Mitchell Wand
Author: Wand, Mitchell; | Call Number: 005.1 Wan i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Algorithms design : a recursion transformation framework/Marvin C. Paull
Author: Paull, Marvin C.; | Call Number: 511.35 Pau a | Type: Buku
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 
A File Structure Supporting Traversal Recursion (243-252)
Author: P.-A. Larson V. Deshpande; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Solving the MOLR and social golfers problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 286-300
Author: Warwick Harvey; Thorsten Winterer; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Relating time progress and deadlines in hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 286-300
Author: Sebastien Bornot; Joseph Sifakis; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Safe stratified datalog with integer order does not have syntax
Author: Alexei P. Stolboushkin | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Membangun sistem pemrosesan ruleml pada semantic web dengan menggunakan datalog
Author: I Gusti Agung Ngurah Indra Adnyana,; | Call Number: T-0572 (Softcopy T-0233) Source Code T-0037 | Edition: 2007 | Type: Tesis
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 
Traversal recursion: A practical approach to supporting recursive applications (166-175)
Author: Arnon Rosenthal Sandra Heiler umeshwar dayal frank monola; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4  Next