Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings
Publisher: Springer
Published: 2009
Language: eng
ISBN-13: 9783642027161