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
  10. C. Kreitz, H. Mantel, J. Otten, S. Schmitt
    Pages 207-221
  11. James Harland, David Pym
    Pages 222-236
  12. Mary Cryan, Allan Ramsay
    Pages 237-251
  13. Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber et al.
    Pages 252-255
  14. Thomas Kolbe, Jürgen Brauburger
    Pages 256-259
  15. Dirk Fuchs, Matthias Fuchs
    Pages 260-263
  16. Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
    Pages 264-267
  17. John Slaney
    Pages 268-271
  18. Hantao Zhang
    Pages 272-275
  19. Louise Dennis, Alan Bundy, Ian Green
    Pages 276-290
  20. Dieter Hutter, Michael Kohlhase
    Pages 291-305
  21. Harald Ganzinger, Christoph Meyer, Christoph Weidenbach
    Pages 321-335
  22. Amy P. Felty, Douglas J. Howe
    Pages 351-365
  23. K. A. Eastaughffe, M. A. Ozols, A. Cant
    Pages 366-379
  24. David von Oheimb, Thomas F. Gritzner
    Pages 380-394
  25. M. A. Ozols, A. Cant, K. A. Eastaughffe
    Pages 400-403
  26. Helen Lowe, David Duncan
    Pages 404-407
  27. Mathias Kettner, Norbert Eisinger
    Pages 408-411
  28. Richard Bornat, Bernard Sufrin
    Pages 412-415
  29. Matthias Fuchs
    Pages 416-430
  30. Gilles Défourneaux, Nicolas Peltier
    Pages 431-445
  31. Jürgen Ehrensberger, Claus Zinn
    Pages 446-460
  32. Jürgen Ehrensberger, Claus Zinn
    Pages E1-E1
  33. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences