Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
- Editors
- (view affiliations)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2796)
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2796)