Bevissystem i ABEL : en interaktiv bevishjelper
Olav Andree Brevik
Bok Bokmål 1998
Utgitt | Oslo : O.A. Brevik , 1998
|
---|---|
Omfang | 181 s. : ill.
|
Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 1998
|
Emner | Bevisteori
Databehandling Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 hovedoppgaver informatikk formelle metoder semiautomatiskbevissystem førsteordens logikk |