Advertisement

Erratum to: 7th International Conference on Automated Deduction

  • R. E. Shostak
Erratum
Part of the Lecture Notes in Computer Science book series (LNCS, volume 170)

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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2017

Authors and Affiliations

  • R. E. Shostak
    • 1
  1. 1.SRI InternationalMenlo ParkUSA

Personalised recommendations