Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings: 2016 by Springer International Publishing AG (Paperback, 2016)

Brand new: lowest price

AU $128.00

Free postage
  • See details for delivery est.
  • Brand new condition
  • • Returns accepted