10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990, Proceedings: 1990: International Conference Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1990)

Brand new: lowest price

AU $207.56

Free postage
  • Get it by Tuesday, 12 Dec
  • Brand new condition
  • • Returns accepted