*001705581
*00520250613135109.0
*007cr
*007ta
*008130226s1993    no            000 0 eng
*00901138cam a2200289 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)999404885234702201
*035  $a(NO-LaBS)14214262(bibid)
*035  $a(NO-TrBIB)123980577
*035  $a(NO-TrBIB)940488523
*035  $a940488523-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*080  $a510.6-37
*1001 $aEidhammer, Ingvar$d1945-$0(NO-TrBIB)90285667$_19973100
*24510$aExtending constraint satisfaction problems with value constraints$cIngvar Eidhammer
*260  $aBergen$bDepartment of Informatics, University of Bergen$c1993
*300  $a37 bl.$bfig.
*4901 $aReports in informatics$vno. 90
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2012-11-19
*588  $aKatalogisert etter omslag
*650 7$aMatematisk logikk$xDatabehandling$2tekord$_188460800
*653  $amatematikk$aprogrammering$_36922900
*830 0$aReports in informatics (trykt utg.)$x0333-3590$vno. 90$w998711258704702201$_14253500
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2012111906069$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999404885234702202$b2021-11-14T20:43:30Z$z999404885234702202
^