Induction, recursion, and programming
Mitchell Wand
Bok Engelsk 1980
| Utgitt | New York : North Holland , c1980
|
|---|---|
| Omfang | xii,202 s. : fig., tab.
|
| Opplysninger | "Exercises" passim.. - Har bibliografi.
|
| Emner | Matematisk logikk
Programmering (Databehandling) Rekursive funksjoner matematisk-logikk programmering |
| ISBN | 0444003223
|
