Unifikasjon i bevissøk for ikke-klassiske logikker
Solveig Edvardsen
Bok Bokmål 2001
Utgitt | Oslo : S. Edvardsen , 2001
|
---|---|
Omfang | 81 s. : ill.
|
Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2001
|
Emner |
Utgitt | Oslo : S. Edvardsen , 2001
|
---|---|
Omfang | 81 s. : ill.
|
Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2001
|
Emner |