Termomskrivningsregler i ABEL : viktige egenskaper ved omskrivningssystemer
Leif John Korshavn
Bok Bokmål 1998
| Utgitt | Oslo : L.J. Korshavn , 1998
|
|---|---|
| Omfang | 139 s. : ill.
|
| Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 1998
|
| Emner | Informatikk
Informatikkfaget : (NO-TrBIB)REAL000964 hovedoppgaver informatikk termoskrivning fjellklatring guttag aksiomer |
