Theorem proving with analytic tableaux and related methods

Name: Theorem proving with analytic tableaux and related methods
Author: TABLEAUX '95 (1995 Sankt Goar, Germany)

by TABLEAUX '95 (1995 Sankt Goar, Germany) · 1995

Cover of Theorem proving with analytic tableaux and related methods

No description available.

Automatic theorem provingCongressesLogic, Symbolic and mathematicalNonclassical mathematical logicSymbolic and mathematical LogicMathematical Logic and Formal LanguagesComputer ScienceMathematical Logic and FoundationsArtificial intelligenceArtificial Intelligence (incl. Robotics)