*001203360
*00520230330102502.0
*007cr
*007ta
*008151008s1992    no#           000 0 nob
*00901527cam a2200433 c 4500
*015  $a9405152$2nbf
*019  $bl
*020  $a8290253516$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)999217979664702201
*035  $a(NO-LaBS)14345743(bibid)
*035  $a(NO-TrBIB)091908280
*035  $a(NO-TrBIB)921797966
*035  $a921797966-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*042  $anorbibl
*044  $cno
*080  $a519.682.2 PARLOG
*080  $a519.682.2 PROLOG
*080  $a681.3.04PROLOG
*080  $a681.3.06
*08204$a005.115$qNoBeU$223
*08274$a005.133$qNO-OsNB$24/nor
*084  $aI.2.3$2acmccs
*1001 $aKristensen, Terje$d1947-$_44516200
*24510$aLogikk, Prolog og Parlog$cTerje Kristensen
*260  $aBergen$bBergen lærerhøgskole$c[1992]
*300  $a418 s.$bfig.$erettelser ([1] bl.)
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2009-04-01
*650 7$aLogikkprogrammering$0(NO-TrBIB)REAL009516$2noubomn$_206569600
*650 7$aParlog$0(NO-TrBIB)REAL008739$2noubomn$_228326000
*650 7$aProlog$0(NO-TrBIB)REAL011483$2noubomn$_228326100
*650 7$aprolog$2tekord$_187587700
*653  $alogikkprogrammering$aedb$aprogrammer$aprolog$aparlog$alogikk$aprogrammering$amatematisk$asymbolsk$aparallell$alogisk$aprogrammeringsspråk$_44516500
*7102 $aBergen lærerhøgskole$_44516600
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2007091800044$yNettbiblioteket$zDigital representasjon
*901  $a90
*913  $aNorbok$bNB
*999  $aoai:nb.bibsys.no:999217979664702202$b2021-11-14T19:56:37Z$z999217979664702202
^