Sekventkalkyler for partiell logikk i semantikk, verifikasjon og bevisteori
Richard Moe
Bok Bokmål 1991
| Utgitt | Oslo : [R. Moe] , 1991
|
|---|---|
| Omfang | 133 s.
|
| Opplysninger | Hovedoppgave i informatikk - Universitetet i Oslo, 1991
|
| Emner | Databehandling
Informatikk Informatikkfaget : (NO-TrBIB)REAL000964 hovedoppgaver informatikk databehandling matematisk logikk |
