ISBN 3540289313 books & textbook
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science, 3702)
Springer /2005-09-05 Paperback / 360 Pages
isbn-10: 3540289313 / isbn-13: 9783540289319
