Sekventkalkyle og partiell logikk i MURAL
Svein Holanger
Bok Bokmål 1994
| Utgitt | Oslo : [S. Holanger] , 1994
|
|---|---|
| Omfang | 42 s.
|
| Opplysninger | Hovedoppgave i informatikk - Universitetet i Oslo, 1994
|
| Emner | Databehandling
Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 Partiell logikk hovedoppgaver informatikk databehandling |
