24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) Conference

Scholarly Activity

related documents

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules Conferences