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	Bevisteori Databehandling hovedoppgaver informatikk intuisjonisisk logikk lka