Search Result Save to File Save as CSV
Your search for 52198 returns 53 document(s)
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 
"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 
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 
Tail recursion elimination in deductive database
Author: Kenneth A. Ross | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Recursion via pascal/ J.S. Rohl
Author: Rohl, J.S.; | Call Number: 005.133 Roh r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Hypothetical Datalog Negation and Recursion (286-300)
Author: Anthony J. Bonner; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Prev   1 2 3 4 5 6  Next