00845cam a2200193 a 450000500170000000800410001702000150005803500150007305000250008811100500011324501880016326000300035130000110038144000930039265000420048565000480052765000490057570000270062420260817170909.0080624s1997    gw      r     100|0 eng d  a3540629203  a.b11685931 4aQA76.9 A96bT33 19972 aTABLEAUX '97d(1997 :cPon-a-Mousson, France)10aAutomated reasoning with analytic tableaux and related methods :binternational conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997 : proceedings /cDidier Galmiche, ed.  aBerlin :bSpringer,c1997  a372 p. 0aLecture notes in computer science.pLecture notes in artificial intelligence ;vno. 1227 0aAutomatic theorem provingvCongresses 0aNonclassical mathematical logicvCongresses 0aLogic, Symbolic and mathematicalvCongresses1 aGalmiche, Didier,eed.