Toggle navigation
English
Norsk
Norsk
English
Norsk
Administrasjon
Toggle navigation
Vis innførsel
Hjem
Det matematisk-naturvitenskapelige fakultet
Institutt for informatikk
Institutt for informatikk
Vis innførsel
Hjem
Det matematisk-naturvitenskapelige fakultet
Institutt for informatikk
Institutt for informatikk
Vis innførsel
JavaScript is disabled for your browser. Some features of this site may not work without it.
Avskjærings- og søkestrategier i system for automatisk bevisføring
Diesen, Dag
Master thesis
Åpne
DagDiesen.pdf (754.8Kb)
År
1988
Permanent lenke
http://urn.nb.no/
URN:NBN:no-1759
Metadata
Vis metadata
Finnes i følgende samling
Institutt for informatikk
[4933]
Sammendrag
Sammendrag ikke registrert.
Søk i hele DUO
Kun denne samlingen
For studenter / ansatte
Levere masteroppgave
Tilgang til lukket materiale
Bla i:
Alle enheter
Enheter og samlinger
Dato
Forfatter
Tittel
Denne samlingen
Dato
Forfatter
Tittel
For bibliotekansatte
Logg inn
RSS