*001817602
*00520250613104237.0
*007ta
*008090619s2003    gw            100 u eng d
*00902150cam a2200457 c 4500
*019  $bl
*020  $a3540407871$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990316808104702201
*035  $a(NO-LaBS)13562657(bibid)
*035  $a(NO-TrBIB)03168081x
*035  $a03168081x-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a004.8
*080  $a510.6
*080  $a510.6-37
*084  $aI.2.3$2acmccs
*1112 $aTABLEAUX 2003$0(NO-TrBIB)3110582$_108466200
*24510$aAutomated reasoning with analytic tableaux and related methods :$binternational conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings$cMarta Cialdea Mayer, Fiora Pirri (eds.)
*260  $aBerlin$bSpringer$cc2003
*300  $aX, 270 s.$bill.
*4901 $aLecture notes in artificial intelligence
*4901 $aLecture notes in computer science$v2796
*650 0$aAutomatic theorem proving$_36748300
*650 7$aAutomatisk deduksjon$2tekord$vKongresser$_187620400
*650 7$aAutomatisk resonnering$0(NO-TrBIB)REAL000461$2noubomn$_203894300
*650 7$aKunstig intelligens$2tekord$9nno$_186787900
*650 7$amatematisk$alogikk$2tekord$_187620500
*7001 $aCialdea Mayer, Marta$0(NO-TrBIB)3110581$_108466300
*7001 $aPirri, Fiora$0(NO-TrBIB)99063389$_108466400
*7760 $tTABLEAUX 2003$w990704723354702201
*830 0$aLecture notes in artificial intelligence$_13074300
*830 0$aLecture notes in computer science$v2796$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540407874
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=3540407871
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540407874
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540407874
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/4/7/9783540407874.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/1/7/3540407871.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/4/7/9783540407874.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:990316808104702202$b2021-11-14T20:52:00Z$z990316808104702202
^