*001246513
*00520250720101414.0
*007ta
*008191003s2019    no a   e m    00  0 eng
*00901862nam a2200337 c 4500
*019  $bl
*020  $qheftet
*035  $a(EXLNZ-47BIBSYS_NETWORK)999920914504302201
*035  $a(NO-LaBS)14465001(bibid)
*040  $aNO-OsNB$bnob$erda
*1001 $aLuteberget, Bjørnar$d1986-$0(NO-TrBIB)1581514963588$4aut$_50268600
*24510$aAutomated reasoning for planning railway infrastructure$cBjørnar Luteberget
*264 1$aOslo, Norway$bDepartment of Informatics, University of Oslo$c2019
*300  $aix, 208 sider$billustrasjoner$c24 cm
*336  $atekst$0http://rdaregistry.info/termList/RDAContentType/1020$2rdaco
*337  $auformidlet$0http://rdaregistry.info/termList/RDAMediaType/1007$2rdamt
*338  $abind$0http://rdaregistry.info/termList/RDACarrierType/1049$2rdact
*4901 $aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo$vno. 2187$x1501-7710
*502  $aAvhandling (ph.d.) - Universitetet i Oslo, 2019
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2025-07-16
*650 7$aAutomatisk resonnering$0(NO-TrBIB)REAL000461$2noubomn$_203894300
*650 7$aDatastøttet konstruksjon$0(NO-TrBIB)REAL010329$2noubomn$_194175900
*650 7$aFormelle metoder$0(NO-TrBIB)REAL002404$2noubomn$_203894400
*650 7$aJernbane$0(NO-TrBIB)REAL011006$2noubomn$_203894500
*7102 $aUniversitetet i Oslo$bDet matematisk-naturvitenskapelige fakultet$0(NO-TrBIB)90069516$4pbl$_10300400
*7102 $aUniversitetet i Oslo$bInstitutt for informatikk$0(NO-TrBIB)90328750$4dgg$_10757300
*830 0$aSeries of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (trykt utg.)$x1501-7710$vno. 2187$w999916000704702201$_204427900
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2025071006002$yNettbiblioteket$zDigital representasjon
*913  $aNorbok$bNB
*917  $ad
*999  $aoai:nb.bibsys.no:999920015595902202$b2021-11-14T20:00:29Z$z999920015595902202
^