Bevisstrategier i Larch ved bruk av generatorinduksjon

Rune Steinberg
Bok · Bokmål · 1995

Utgitt	Oslo : [R. Steinberg] , 1995
Omfang	130 s.
Opplysninger	Hovedoppgave i Informatikk - Universitetet i Oslo, 1995
Emner	Databehandling Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 Larch Spesifikasjon