Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2013)

Brand new: lowest price

AU $84.47

+ AU $7.50 postage
  • Get it by Tue, 12 Jun - Wed, 20 Jun from Priority Airmail from England, United Kingdom
  • Brand new condition
  • • Returns accepted - 7 days money back
Sold byroxy*books (318914)98.5% positive Feedback