TY  - BOOK
AU  - Baumgartner,Peter
AU  - Hahnle,Reiner
AU  - Posegga,Joachim
ED  - TABLEAUX
TI  - Theorem proving with analytic tableaux and related methods: 4th international workshop, TABLEAUX '95, Schloss Rheinfel, St. Goar, Germany, May 7-10, 1995 : proceedings 
SN  - 3540593381
AV  - QA76.9 A96 T33 1995
PY  - 1995///
CY  - Berlin
PB  - Springer
KW  - Automatic theorem proving
KW  - Congresses
KW  - Nonclassical mathematical logic
KW  - Logic, Symbolic and mathematical
ER  -