| title | media type | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|---|
| 7th International Conference on Automated Deduction: Proceedings | Paperback | 978-0-387-96022-7 (0-387-96022-8) | 1984 | |
| 7th International Conference on Automated Deduction: Proceedings | Taschenbuch | 978-3-540-96022-5 (3-540-96022-8) | 1984 |