Automated Reasoning with Analytic Tableaux and Related Methods : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
edited by Bernhard Beckert.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 3702
ISBN: 9783540318224