Interactive Theorem Proving: 9th International Conference, Itp 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, ...Computer Science and General Issues, 10895)
Add this copy of Interactive Theorem Proving: 9th International to cart. $28.51, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2018 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Interactive Theorem Proving: 9th International Conference, Itp 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-12, 2018, Proceedings
by Avigad, Jeremy (Editor), and Mahboubi, Assia (Editor)
Add this copy of Interactive Theorem Proving: 9th International to cart. $93.93, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2018 by Springer.
Add this copy of Interactive Theorem Proving to cart. $114.41, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2018 by Springer.
