TY  - BOOK
AU  - Miglioli,P.
ED  - TABLEAUX
ED  - International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
TI  - Theorem proving with analytic tableaux and related methods: 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings 
SN  - 3540612084
AV  - QA76.9 A96 T33 1996
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Automatic theorem proving
KW  - Congresses
KW  - Nonclassical mathematical logic
KW  - Logic, Symbolic and mathematical
ER  -