Automated reasoning with analytic tableaux and related methods

Name: Automated reasoning with analytic tableaux and related methods
Author: TABLEAUX 2011 (2011 Bern, Switzerland)

by TABLEAUX 2011 (2011 Bern, Switzerland)

Cover of Automated reasoning with analytic tableaux and related methods

No description available.

CongressesAutomatic theorem provingLogics and Meanings of ProgramsSoftware engineeringProgramming TechniquesMathematical Logic and Formal LanguagesComputer scienceArtificial intelligenceLogic designArtificial Intelligence (incl. Robotics)