Search Result
Save to File
Your search for
52196
returns
125
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
"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
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
Can you trust software capability evaluations, page 28
Author: Emilie O'Connell | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Computer performance evaluation user's group computer performance evaluations
Call Number: 004 Com | Type: Buku Pusat
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
Prev 1
2
3
4
5
6
7
8
9
10
Next