Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings
Sale!
discountmags15-1774733

Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings

Original price was: $109.99.Current price is: $27.49.

SKU: 74949343 Category:

Description

Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings

Reviews

There are no reviews yet.

Be the first to review “Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings”

Your email address will not be published. Required fields are marked *

Related products