Title: Automated reasoning with analytic tableaux and related methods
Subjects: Congresses, Automatic theorem proving, Logics and Meanings of Programs, Software engineering, Programming Techniques, Mathematical Logic and Formal Languages, Computer science, Artificial intelligence, Logic design, Artificial Intelligence (incl. Robotics)