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
|