| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| A Computational Logic | 978-0-12-122950-4 | 1980 | Robert S. Boyer |
| A Computational Logic Handbook | 978-0-12-122952-8 | 1988 | " |
| Computational Logic Handbook, A | 978-0-12-122955-9 | 1997 | " |
| Computer-Aided Reasoning: ACL2 Case Studies | 978-0-7923-7849-5 | 2000 | Matt Kaufmann · Panagiotis Manolios |
| Computer-Aided Reasoning: An Approach | 978-0-7923-7744-3 | 2000 | Matt Kaufmann · Panagiotis Manolios |
| Computer Aided Reasoning Two Volume Set | 978-0-7923-7880-8 | 2000 | Matt Kaufmann · Panagiotis Manolios |
| Correctness Problem in Computer Science | 978-0-12-122920-7 | 1982 | Robert S. Boyer |
| Introduction to Abstract Algebra | 978-0-12-505750-9 | 1975 | |
| Piton: A Mechanically Verified Assembly-Level Language | 978-0-7923-3920-5 | 1996 | |
J.M. · J. Moore · J. S. · J.S. Moore · S M · S. Moore