Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2008)

Brand new: lowest price

£97.91

Free postage
  • Get it by Tuesday, 27 Feb
  • New condition
  • • Returns accepted
Sold by1771cohen (2430)99.3% positive Feedback