Aspects of structure in Horn clause programs
Øystein NytrøInngår i serier: Doktor ingeniøravhandling (1992:88)IDT-rapport (1992:4)
Nytrø, Øystein Bok Engelsk utgitt 1992
Nytrø, Øystein Bok Engelsk utgitt 1992
Ledig
- Automatlager: 1 av 1 ledig
*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 ^