Yazar
Mitchell Wand
3 cilt bulundu.
Cilt sonuçları
Induction, recursion, and programming
Mitchell Wand · North Holland
202 sayfa · 1980
Computer programming / Induction (Mathematics) / Recursion theory
VLISP A Verfied Implementation of Scheme
Joshua Guttman, Mitchell Wand · Kluwer Academic
184 sayfa · 1995
Software engineering / Computer science / Artificial intelligence / LISP (Computer program language) / Lisp (computer program language)