En beskrivelse og vurdering av programmeringsspråkene Lisp og Prolog med forslag til hvordan disse kan brukes til automatisk bevisføring
Ingrid Hodne
Bok Bokmål 1980
| Utgitt | Oslo : I. Hodne , 1980
|
|---|---|
| Omfang | 82 s.
|
| Opplysninger | Hovedoppgave i informatikk - Universitetet i Oslo, 1980
|
| Emner |
