I-PCF
Trond Pedersen
Bok Bokmål 2000
| Utgitt | Oslo : T. Pedersen , 2000
|
|---|---|
| Omfang | 44 bl. : ill.
|
| Opplysninger | Hovedoppgave i matematikk (Cand.scient.) - Universitetet i Oslo, 2000
|
| Emner | hovedoppgaver matematikk lambda-kalkyle induktive typer informatikk logikk
|
