00918cam a2200217 a 450000500170000000800410001702000150005803500150007305000250008811100490011324502360016226000300039830000110042844000560043965000420049565000480053765000490058570000240063470000200065870000220067820260819084417.0080624s1995    gw      r     100|0 eng |  a3540593381  a.b1146889000aQA76.9 A96bT33 19952 aTABLEAUXn(4th :d1995 :cSt. Goar, Germany)10aTheorem proving with analytic tableaux and related methods :b4th international workshop, TABLEAUX '95, Schloss Rheinfel, St. Goar, Germany, May 7-10, 1995 : proceedings /cPeter Baumgartner, Reiner Hahnle and Joachim Posegga, eds.  aBerlin :bSpringer,c1995  a352 p. 0aLecture notes in artificial intelligence ;vno. 918 0aAutomatic theorem provingvCongresses 0aNonclassical mathematical logicvCongresses 0aLogic, Symbolic and mathematicalvCongresses1 aBaumgartner, Peter 1 aHahnle, Reiner 1 aPosegga, Joachim