Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540730996
Subjects: Automatic theorem proving