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

Bibliotek som har denne