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. 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