*001184161
*00520230312132239.0
*007cr
*007ta
*008150506s1988    no#           000 0 nob d
*00901294cam a2200361 c 4500
*015  $a8803924$2nbf
*019  $bl
*020  $a8253903030
*035  $a(EXLNZ-47BIBSYS_NETWORK)998920331934702201
*035  $a(NO-LaBS)14721894(bibid)
*035  $a(NO-TrBIB)150851642
*035  $a(NO-TrBIB)892033193
*035  $a892033193-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*044  $cno
*080  $a510.6-37
*08274$a006.3$qNO-OsNB$24/nor
*1001 $aDiesen, Dag$d1953-$0(NO-TrBIB)90293285$_41986300
*24510$aAvskjærings- og søkestrategier i system for automatisk bevisføring$cDag Diesen
*260  $aOslo$c1988
*300  $a144 s.
*4901 $aRapport / Norsk regnesentral$v814
*500  $aHovedoppgave i informatikk - Universitetet i Oslo, 1988.
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2015-05-06
*650  $x(Matematikk)$_28298000
*650 7$aBevisføring$xDatabehandling$2tekord$_187800800
*653  $aforbindelsesmetoden$aconnection$amethod$_41986400
*830 0$aPublikasjon (Norsk regnesentral : trykt utg.)$x0809-8484$v814$w998111897404702201$_13799600
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2015042408060$yNettbiblioteket$zDigital representasjon
*901  $a80
*913  $aNorbok$bNB
*999  $aoai:nb.bibsys.no:998920331934702202$b2021-11-14T19:54:56Z$z998920331934702202
^