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

by Lawrence C. Paulson and Matt Kaufmann

This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,2010 in Edinburgh, Scotland as part of the Federated... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642140513
• ISBN13: 9783642140518
• Release Date: June 2010
• Publisher: Springer
• Length: 495 Pages
• Weight: 1.70 lbs.
• Dimensions: 1.1" x 6.1" x 9.3"