| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Computer-Aided Reasoning: ACL2 Case Studies | 978-0-7923-7849-5 (0-7923-7849-0) | 2000 | Matt Kaufmann · J Strother Moore |
| Computer-Aided Reasoning: An Approach | 978-0-7923-7744-3 (0-7923-7744-3) | 2000 | Matt Kaufmann · J Strother Moore |
| Computer Aided Reasoning Two Volume Set | 978-0-7923-7880-8 (0-7923-7880-6) | 2000 | Matt Kaufmann · J Strother Moore |