Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceedings
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 1997 by Springer.
Add this copy of Automated Reasoning With Analytic Tableaux and Related to cart. $69.09, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1997 by Springer.
Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings (Lecture Notes in Computer Science, 1227)
Add this copy of Automated Reasoning With Analytic Tableaux and Related to cart. $82.41, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1997 by Springer.
