Theorem proving with analytic tableaux and related methods /

Theorem proving with analytic tableaux and related methods /

06

Bibliographic Details
Main Authors: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), Hahnle, Reiner, Posegga, Joachim, Baumgartner, Peter
Format:
Published: Berlin : Springer, 1995
Subjects:
Automatic theorem proving
Nonclassical mathematical logic
Logic, Symbolic and mathematical
Description
Summary:06

Similar Items