*001382376
*00520230301101952.0
*007ta
*008141028s2002    no#           000 u eng d
*00901109cam a2200265 c 4500
*019  $bl
*035  $a(EXLNZ-47BIBSYS_NETWORK)990222709064702201
*035  $a(NO-LaBS)15189314(bibid)
*035  $a(NO-TrBIB)022270906
*035  $a022270906-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*044  $cno
*1001 $aLamo, Yngve$d1970-$0(NO-TrBIB)90936374$_31267500
*24510$aQualifier-free logic for multialgebraic theories$cYngve Lamo & Michal Walicki
*24616$aQuantifier-free logic for multialgebraic theories
*260  $aBergen$bDepartment of Informatics, University of Bergen$c2002
*300  $a22 s.
*4901 $aReports in informatics$vreport no 228
*533  $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2016-08-26
*7001 $aWalicki, Michał$0(NO-TrBIB)90653426$_31267600
*7400 $aQuantifier-free logic for multialgebraic theories
*830 0$aReports in informatics (trykt utg.)$x0333-3590$vreport no 228$w998711258704702201$_14253500
*85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2016082608150$yNettbiblioteket$zDigital representasjon
*901  $a80
*999  $aoai:nb.bibsys.no:990222709064702202$b2021-11-14T20:15:53Z$z990222709064702202
^