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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61511-8
  • Online ISBN 978-3-540-68687-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book