Interactive Theorem Proving
Published
2010
Publisher
Springer-Verlag Berlin Heidelberg
ISBN-13
9783642140518
Subjects
You May Also Like
The Logic of Scientific Discovery
The Logic of Scientific Discovery
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei
How computers work
How computers work
Digital circuits and logic design
Digital circuits and logic design
An engineering approach to digital design
An engineering approach to digital design
Microprocessor logic design
Microprocessor logic design
Frequently Asked Questions
Who is the author of Interactive Theorem Proving?
Interactive Theorem Proving was written by Matt Kaufmann.
When was Interactive Theorem Proving published?
The publication date for this specific edition is 2010. The original work may have been published on a different date.