ISBN 9783540407874 books & textbook
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings (Lecture Notes in Computer Science, 2796)
Cialdea Mayer, Marta Pirri, Fiora
Springer /2003-09-03 Paperback / 280 Pages
isbn-10: 3540407871 / isbn-13: 9783540407874
