Abstract
Erratum to: R.E. Shostak (Ed.) 7th International Conference on Automated Deduction DOI: 10.1007/978-0-387-34768-4
The book was inadvertently published with an incorrect name of the copyright holder. The name of the copyright holder for this book is: © Springer - Verlag Berlin Heidelberg. The book has been updated with the changes.
The updated original online version for this book can be found at DOI: 10.1007/978-0-387-34768-4
Chapter PDF
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shostak, R.E. (2017). Erratum to: 7th International Conference on Automated Deduction. In: Shostak, R.E. (eds) 7th International Conference on Automated Deduction. CADE 1984. Lecture Notes in Computer Science, vol 170. Springer, New York, NY. https://doi.org/10.1007/978-0-387-34768-4_30
Download citation
DOI: https://doi.org/10.1007/978-0-387-34768-4_30
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-96022-7
Online ISBN: 978-0-387-34768-4
eBook Packages: Springer Book Archive