Automated Reasoning With Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, .../ Lecture Notes in Artificial Intelligence)
Add this copy of Automated Reasoning With Analytic Tableaux and Related to cart. $51.52, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2007 by Springer.
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, Proceedings
Add this copy of Automated Reasoning with Analytic Tableaux and Related to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2007 by Springer.
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)
Add this copy of Automated Reasoning With Analytic Tableaux and Related to cart. $86.99, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2007 by Springer.
