*001191985
*00520250613104617.0
*007ta
*008150408s1982    gw            100 u und d
*00901213cam a2200337 c 4500
*019  $bl
*020  $a0387115587
*020  $a3540115587
*035  $a(EXLNZ-47BIBSYS_NETWORK)998211128054702201
*035  $a(NO-LaBS)14946772(bibid)
*035  $a(NO-TrBIB)821112805
*035  $a821112805-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a162
*080  $a510.6-37
*084  $aF.4.1$2acmccs
*084  $aI.2.3$2acmccs
*1112 $aConference on Automated Deduction$0(NO-TrBIB)90085148$_42979700
*24510$a6th Conference on Automated Deduction, New York, USA, June 7-9, 1982$cedited by D. W. Loveland
*260  $aBerlin$bSpringer$c1982
*300  $avii,389 s.$bfig., tab.
*4901 $aLecture notes in computer science$v138
*500  $aHar bibliografi.
*650 7$aMatematisk logikk$xDatabehandling$2tekord$vKongresser$_188460800
*650 7$alogikk$2tekord$vKongresser$_188546500
*7001 $aLoveland, D. W.$0(NO-TrBIB)90085147$_42979800
*7760 $t6th Conference on Automated Deduction : New York, USA, June 7-9, 1982$w990704372624702201
*830 0$aLecture notes in computer science$v138$_13074400
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9783540115588
*901  $a80
*999  $aoai:nb.bibsys.no:998211128054702202$b2021-11-14T19:55:29Z$z998211128054702202
^