Theorem proving with analytic tableaux and related methods
Subtitle: 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
By: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
Contributors: Baumgartner, Peter.; Hähnle, Reiner.; Posegga, Joachim.
Series: Lecture notes in computer science ;; 918.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 918.; Lecture notes in computer science.
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 352
Subjects: Automatic theorem proving -- Congresses; Nonclassical mathematical logic -- Congresses; Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references.