Table of contents

  1. Front Matter
  2. Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
    Pages 34-48
  3. Robert Nieuwenhuis, José Miguel Rivero, Miguel Angel Vallejo
    Pages 49-52
  4. B. I. Dahn, J. Gehne, Th. Honigmann, A. Wolf
    Pages 57-60
  5. Andreas Wolf, Johann Schumann
    Pages 61-64
  6. Bernd Fischer, Johann M. Ph. Schumann
    Pages 65-68
  7. Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
    Pages 69-72
  8. Nikolaj S. Bjørner, Mark E. Stickel, Tomás E. Uribe
    Pages 101-115
  9. Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura
    Pages 176-190

About these proceedings


This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.
The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.


AI logics Automatische Deduktion Automatisches Schließen KI-Logiken Theorem-Beweise artificial intelligence automated deduction automated reasoning automatic verification theorem proving verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63104-0
  • Online ISBN 978-3-540-69140-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book