*001482927
*00520230401084655.0
*007cr
*007ta
*008100914s1997    no#           000 0 eng
*00901373cam a2200349 c 4500
*015  $a9807938$2nbf
*019  $bl
*020  $a8273681459
*035  $a(EXLNZ-47BIBSYS_NETWORK)999714200844702201
*035  $a(NO-LaBS)15019388(bibid)
*035  $a(NO-TrBIB)093364040
*035  $a(NO-TrBIB)971420084
*035  $a971420084-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*08274$a005.13$qNO-OsNB$24/nor
*1001 $aLinnestad, Henrik$0(NO-TrBIB)90604248$_60219200
*24510$aTerm rewriting techniques for equational reasoning$cHenrik Linnestad
*260  $a[Oslo]$bDepartment of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo$c1997
*300  $a1 b. (flere pag.)$c30 cm
*4901 $aRes. rep. / University of Oslo, Department of Informatics$v231
*500  $aDelvis opptrykk av artikler
*502  $aAvhandling (dr. scient.) - Universitetet i Oslo, 1997
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2009-08-31
*830 0$aResearch report (Universitetet i Oslo. Institutt for informatikk : trykt utg.)$x0806-3036$v231$w998010812114702201$_17153800
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2009083101042$yNettbiblioteket$zDigital representasjon
*901  $a90
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:999714200844702202$b2021-11-14T20:24:20Z$z999714200844702202
^