Skip to content
Scan a barcode
Scan
Paperback Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, Usa, August 13-15, 2012. Proceedings Book

ISBN: 3642323464

ISBN13: 9783642323461

Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, Usa, August 13-15, 2012. Proceedings

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised... This description may be from another edition of this product.

Recommended

Format: Paperback

Condition: New

$54.99
Ships within 2-3 days
Save to List

Customer Reviews

0 rating
Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured