© 1997

Automated Deduction—CADE-14

14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

  • Editors
  • William McCune
Conference proceedings CADE 1997

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1249)

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

  • Book Title Automated Deduction—CADE-14
  • Book Subtitle 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings
  • Editors William McCune
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-63104-0
  • eBook ISBN 978-3-540-69140-2
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XV, 469
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Computer System Implementation
    Mathematical Logic and Formal Languages
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences