*001146823
*00520250613134452.0
*007ta
*008990219s1992    no            000 0 eng d
*00901407cam a2200325 c 4500
*019  $bl
*020  $a8271194437
*035  $a(EXLNZ-47BIBSYS_NETWORK)999301291644702201
*035  $a(NO-LaBS)14363817(bibid)
*035  $a(NO-TrBIB)930129164
*035  $a930129164-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a519.68:510
*1001 $aNytrø, Øystein$0(NO-TrBIB)90357765$_37040800
*24510$aAspects of structure in Horn clause programs$cØystein Nytrø
*260  $aTrondheim$bInstitutt for datateknikk og telematikk, Universitetet i Trondheim, Norges tekniske høgskole$c1992
*300  $avi, 176 s.$bfig.
*4901 $aDoktor ingeniøravhandling$v1992:88
*4901 $aIDT-rapport$v1992:4
*502  $aAvh. (dr. ing.) - Norges tekniske høgskole, 1992
*504  $aBibliografi: s. 164-176
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2016-11-29
*650 7$aLogikkprogrammering$2tekord$_187441200
*653  $adoktoringeniør$adatateknikk$_13216800
*830 0$aDoktor ingeniøravhandling (Trondheim : trykt utg.)$x0809-103x$v1992:88$w998711741544702201$_13104400
*830 0$aTeknisk notat (Norges tekniske høgskole. Institutt for datateknikk og telematikk)$x0802-3719$v1992:4$w998811465014702201$_15468100
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2016112948004$yNettbiblioteket$zDigital representasjon
*901  $a80
*917  $ad
*999  $aoai:nb.bibsys.no:999301291644702202$b2021-11-14T19:52:14Z$z999301291644702202
^