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 |
