Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfel, St. Goar, Germany, May 7-10, 1995 : proceedings - TABLEAUX 1995 : St. Goar, Germany); Baumgartner, Peter; Hahnle, Reiner; Posegga, Joachim (Berlin : Springer, 1995)
Keywords: Automatic theorem proving -- Congresses; Nonclassical mathematical logic -- Congresses; Logic, Symbolic and mathematical -- Congresses