M. K. · M. Kaufmann · Matt Kaufmann Lawrence C. Paulson
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Computer-Aided Reasoning: ACL2 Case Studies | 978-0-7923-7849-5 | 2000 | Panagiotis Manolios · J Strother Moore | |
| Computer-Aided Reasoning: An Approach | 978-0-7923-7744-3 | 2000 | Panagiotis Manolios · J Strother Moore | |
| Computer Aided Reasoning Two Volume Set | 978-0-7923-7880-8 | 2000 | Panagiotis Manolios · J Strother Moore | |
| Interactive Theorem Proving | 978-3-642-14053-2 | 2011 | Lawrence C. Paulson | |
| Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings | 978-3-642-14051-8 | 2010 | " |