Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings: 2015 by Springer International Publishing AG (Paperback, 2015)

Brand new: lowest price

AU $76.48

+ AU $7.50 postage
  • See details for delivery est.
  • Brand new condition
  • • Returns accepted
Sold byroxy*books (307022)98.6% positive Feedback