Interactive Theorem Proving More Books Like This

Name: Interactive Theorem Proving
Price: 69.99 CAD
Author: Marko van Eekelen, Herman Geuvers, Julien Schmaltz & Freek Wiedijk
ISBN: 9783642228636

More ways to shop: Find an Apple Store or other retailer near you. Or call 1-800-MY-APPLE.

Canada (English) Français

Privacy Policy
Use of Cookies
Terms of Use
Legal
Site Map