Go back

Interactive Theorem Proving First International Conference ITP 2010 Edinburgh UK July 11 14 2010 Proceedings(2010 Edition)

Authors:

Matt Kaufmann ,Lawrence C. Paulson

Free interactive theorem proving first international conference itp 2010 edinburgh uk july 11 14 2010 proceedings
15 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $121.12 Savings: $121.12(100%)

Book details

ISBN: 3642140513, 978-3642140518

Book publisher: Springer