| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings | Paperback | 978-3-662-17672-6 (3-662-17672-6) | 2014 | J.K. Slaney | |
| Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings | Taschenbuch | 978-3-540-61511-8 (3-540-61511-3) | 2010 | J. K. Slaney | |
| Automated Theorem-proving in Non-classical Logics | Paperback | 978-0-273-08781-6 (0-273-08781-9) | 1988 | Paul B. Thistlewaite · Robert K. Meyer |
A.M. · A. McRobbie · M.A. · M M · Michael A. · Michael M.