Automated Reasoning with Analytic Tableaux and Related Methods
18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
- Editors
- (view affiliations)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5607)
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5607)