*001768589
*00520250613134206.0
*007cr
*007ta
*008090413s1997    no            000 0 eng d
*00901221cam a2200277 c 4500
*019  $bl
*020  $a8273681475$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)999713471074702201
*035  $a(NO-LaBS)13444309(bibid)
*035  $a(NO-TrBIB)092042694
*035  $a(NO-TrBIB)971347107
*035  $a971347107-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*1001 $aLinnestad, Henrik$_104378300
*24510$aApplying lemmas and conjecturers [i.e. conjectures] in high-order [i.e. higher-order] proof by consistency$cHenrik Linnestad
*260  $a[Oslo]$bUniversity of Oslo, Department of Informatics$c1997
*300  $a19 s.
*4901 $aResearch report / University of Oslo, Department of Informatics$vno. 233
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2009-02-05
*588  $aKatalogisert etter omslag
*7400 $aApplying lemmas and conjectures in higher-order proof by consistency
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$vno. 233$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2009020504067$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999713471074702202$b2021-11-14T20:48:19Z$z999713471074702202
^