*001255228
*00520250613104557.0
*007ta
*008150408s1980    gw            100 u eng d
*00901445cam a2200349 c 4500
*019  $bl
*020  $a0387100091
*020  $a3540100091
*035  $a(EXLNZ-47BIBSYS_NETWORK)998011316934702201
*035  $a(NO-LaBS)14235172(bibid)
*035  $a(NO-TrBIB)801131693
*035  $a801131693-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a162
*080  $a510.6-37
*1112 $aConference on Automated Deduction$0(NO-TrBIB)90085148$_42979700
*24510$a5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980$cedited by W. Bibel and R. Kowalski
*260  $aBerlin$bSpringer$c1980
*300  $aVII,385 s.$bfig.
*4901 $aLecture notes in computer science$v87
*500  $aHar bibliografi.
*650 7$aMatematisk logikk$xDatabehandling$2tekord$vKongresser$_188460800
*650 7$alogikk$2tekord$vKongresser$_188546500
*7001 $aBibel, Wolfgang$0(NO-TrBIB)90188356$_51356800
*7001 $aKowalski, R.$0(NO-TrBIB)90210447$_51356900
*7760 $t5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980$w990704367384702201
*830 0$aLecture notes in computer science$v87$_13074400
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9783540100096
*85642$3Miniatyrbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/6/9/9783540100096.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/6/9/9783540100096.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:998011316934702202$b2021-11-14T20:04:26Z$z998011316934702202
^