On information discharging and retrieval in Martin-Löfs type theory
by Anne Salvesen
Bok Engelsk 1989
Les boka på nett
Digital utgave: Søke-URL
| Utgitt | Oslo , 1989
|
|---|---|
| Omfang | iv, 88 bl.
|
| Opplysninger | Avh. (Dr. scient.) - Universitetet i Oslo, 1989.
|
| Emner | |
| Dewey | |
| ISBN | 8253903189
|
