J.M. · J. Moore · J.S. · J.S. Moore · S.M.
| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Computational Logic | 978-0-12-122950-4 | 1980 | Robert S. Boyer |
| 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 |
| Introduction to Abstract Algebra | 978-0-12-505750-9 | 1975 | |
| Piton: A Mechanically Verified Assembly-Level Language | 978-0-7923-3920-5 | 1996 | |
| The Computational Logic Handbook | 978-0-12-122952-8 | 1988 | Robert S. Boyer |