Interactive Theorem ProvingMatt Kaufmann
Interactive Theorem Proving
Matt Kaufmann · 2010
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2010
- Language
- English
- Series
- Lecture Notes in Computer Science -- 6172
- Publisher
- Springer-Verlag Berlin Heidelberg
- Editions
- 1
- ISBN
- 9783642140518
Data source: Wikidata
