International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods ( tableaux ) is an annual international academic conference dat deals with all aspects of automated reasoning with analytic tableaux . Periodically, it joins with CADE and TPHOLs withinto the International Joint Conference on Automated Reasoning (IJCAR). The …