*001156744
*00520250613134604.0
*007cr
*007ta
*008130110s1992    no            000 0 eng d
*00901083cam a2200277 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)999306511544702201
*035  $a(NO-LaBS)14477745(bibid)
*035  $a(NO-TrBIB)130068993
*035  $a(NO-TrBIB)930651154
*035  $a930651154-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a512-37
*1001 $aWalicki, Michał$0(NO-TrBIB)90653426$_31267600
*24510$aCalculii for algebraic specifications of nondeterminism :$bthree completeness results$cMichał Walicki
*260  $aBergen$bDepartment of Informatics, University of Bergen$c1992
*300  $a58 s.
*4901 $aReports in informatics$v75
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2012-11-26
*650 7$aAlgebra$xDatabehandling$2tekord$_187546900
*653  $amatematikk$aprogrammering$_36922900
*830 0$aReports in informatics (trykt utg.)$x0333-3590$v75$w998711258704702201$_14253500
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2012112606218$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:999306511544702202$b2021-11-14T19:52:58Z$z999306511544702202
^