Table of contents

  1. Front Matter
  2. Toby Walsh
    Pages 14-28
  3. Martin Protzen
    Pages 42-56
  4. Christophe Bourely, Ricardo Caferra, Nicolas Peltier
    Pages 72-86
  5. Peter Baumgartner, Ulrich Furbach
    Pages 87-101
  6. Francois Bronsard, Uday S. Reddy, Robert W. Hasker
    Pages 102-117
  7. Jacques Chazarain, Emmanuel Kounalis
    Pages 118-132
  8. Claus-Peter Wirth, Bernhard Gramlich
    Pages 162-176
  9. Stefan Brüning
    Pages 222-236
  10. Geoff Sutcliffe, Christian Suttner, Theodor Yemenis
    Pages 252-266
  11. Eric Domenjoud, Francis Klay, Christophe Ringeissen
    Pages 267-281

About these proceedings


This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.
The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.


Automatisches Schließen KI-Logiken Logic Programming Logisches Prorammieren Term Rewriting Term-Ersetzung Theorem Proving Variable automated deduction automated reasoning complexity grammar heuristics lambda calculus proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58156-7
  • Online ISBN 978-3-540-48467-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book