Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
by Brünnler, Kai (Editor), and Metcalfe, George (Editor)
Add this copy of Automated Reasoning with Analytic Tableaux and Related to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2011 by Springer.
Automated Reasoning With Analytic Tableaux and Related Methods: 20th International Conference, Tableaux 2011, Bern, Switzerland, July 4-8, 2011, Proceedings (Lecture Notes in Computer Science, 6793)
Add this copy of Automated Reasoning With Analytic Tableaux and Related to cart. $102.12, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2011 by Springer.
