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 |
