ISBN 9783540730989 books & textbook
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... (Lecture Notes in Computer Science, 4548)
Springer /2007-06-21 Paperback / 260 Pages
isbn-10: 3540730982 / isbn-13: 9783540730989
