Table of contents

  1. Front Matter
  2. Eike Ritter, David Pym, Lincoln Wallen
    Pages 17-31
  3. Andrew Ireland, Alan Bundy
    Pages 47-61
  4. Jörg Denzinger, Stephan Schulz
    Pages 62-76
  5. Martin Protzen
    Pages 77-91
  6. Erica Melis, Jon Whittle
    Pages 92-105
  7. Thomas Kolbe, Christoph Walther
    Pages 106-120
  8. Fausto Giunchiglia, Adolfo Villafiorita
    Pages 136-140
  9. Christoph Weidenbach, Bernd Gaede, Georg Rock
    Pages 141-145
  10. Christian B. Suttner, Geoff Sutcliffe
    Pages 146-160
  11. Hans Jürgen Ohlbach
    Pages 161-165
  12. Dongming Wang
    Pages 166-170
  13. David Basin, Seán Matthews
    Pages 171-185
  14. Ole Rasmussen
    Pages 186-200
  15. Peter V. Homeier, David F. Martin
    Pages 201-215
  16. Giovanni Felici, Giovanni Rinaldi, Klaus Truemper
    Pages 216-220

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.


Automatische Deduktion Automatisches Schliessen Informatiklogik KI-Logik Theorembeweisen atrificial intelligence logic automated deduction automated reasoning grammar knowledge learning logic programming proving search strategy verification

Bibliographic information

  • Book Title Automated Deduction — Cade-13
  • Book Subtitle 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
  • Editors Michael A. McRobbie
    J.K. Slaney
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-61511-8
  • eBook ISBN 978-3-540-68687-3
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XVI, 772
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Mathematical Logic and Foundations
    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