*001799548
*00520250613135414.0
*007ta
*008101022s1994    no            000 0 eng
*00901204cam a2200289 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)999423730304702201
*035  $a(NO-LaBS)14217071(bibid)
*035  $a(NO-TrBIB)942373030
*035  $a942373030-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*080  $a519.68
*080  $a681.3.04:801.54
*1001 $aWalicki, Michał$0(NO-TrBIB)90653426$_31267600
*24510$aSingular and plural nondeterministic parameters :$bmultialgebras, power algebra and complete reasoning systems$cMichal Walicki
*260  $aBergen$bDepartment of Informatics, University of Bergen$c1994
*300  $a19 bl.
*4901 $aReports in informatics$vreport no. 96
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2016-11-09
*588  $aKatalogisert etter omslag
*650 7$aProgrammeringsspråk$xSemantikk$2tekord$_191155100
*650 7$aProgramutvikling$2tekord$_186649300
*653  $amatematisk$alogikk$aprogrammering$alogisk$_106970100
*830 0$aReports in informatics (trykt utg.)$x0333-3590$vreport no. 96$w998711258704702201$_14253500
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2016110948081$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999423730304702202$b2021-11-14T20:50:54Z$z999423730304702202
^