*0011023940
*00520190130095725.0
*007ta
*008130917s2001    xx#           000 u und d
*00900694caa a2200193 c 4500
*019  $bk
*035  $a(EXLNZ-47BIBSYS_NETWORK)990216008994702201
*035  $a(NO-TrBIB)021600899
*035  $a021600899-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*1001 $aJohnsen, Einar Broch$d1970-$0(NO-TrBIB)90812108$_32554100
*24512$aA proof environment for partial specifications in OUN$cEinar Broch Johnsen og Olaf Owe
*260  $cc2001
*300  $aS. 29-40
*7001 $aOwe, Olaf$0(NO-TrBIB)90284769$_21004800
*7730 $aNorsk informatikkonferanse(14 : 2001 Tromsø)$tNIK'2001$d[Tromsø] : Universitetet i Tromsø, 2001$z8290487967$w990206061414702201
*901  $a80
*999  $aoai:nb.bibsys.no:990216008994702202$b2021-11-01T03:11:27Z$z990216008994702202
^