Snitt og induksjon ved automatisk generering av bevis
Silvija S̆eres̆
Bok Bokmål 1996
Utgitt | Oslo : S. S̆eres̆ , 1996
|
---|---|
Omfang | 120 s. : ill.
|
Opplysninger | 1996. - Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo,
|
Emner |
Utgitt | Oslo : S. S̆eres̆ , 1996
|
---|---|
Omfang | 120 s. : ill.
|
Opplysninger | 1996. - Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo,
|
Emner |