Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Proceedings
by Galmiche, Didier (Editor), and Larchey-Wendling, Dominique (Editor)
Add this copy of Automated Reasoning with Analytic Tableaux and Related to cart. $46.96, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2013 by Springer.