Avskjærings- og søkestrategier i system for automatisk bevisføring
Dag DiesenInngår i serie: Rapport / Norsk regnesentral (814)
Diesen, Dag Bok Bokmål utgitt 1988
Diesen, Dag Bok Bokmål utgitt 1988
Ledig
- Automatlager: 1 av 1 ledig
*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 ^