Termomskrivningsmaskin i ABEL : anvendt omskrivingsteori og AC-omskriving
Steinar Midtskogen
Bok Bokmål 1999
Utgitt | Oslo : S. Midtskogen , 1999
|
---|---|
Omfang | 169 s. : ill.
|
Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 1999
|
Emner | Abel
Databehandling Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 Vis mer... Omskrivning
hovedoppgaver informatikk assosiativitet kommutativitet ac bevissystem matching omskriving |