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
  12. Laurent Fribourg, Marcos Veloso Peixoto
    Pages 311-325
  13. Véronique Royer, J. Joachim Quantz
    Pages 326-340
  14. Mark Stickel, Richard Waldinger, Michael Lowry, Thomas Pressburger, Ian Underwood
    Pages 341-355
  15. William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
    Pages 356-370
  16. Manfred Kerber, Michael Kohlhase
    Pages 371-385
  17. Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao
    Pages 401-415
  18. Larry M. Hines
    Pages 416-430
  19. Richard Platek
    Pages 431-431
  20. Ursula Martin
    Pages 432-434
  21. Leo Bachmair, Harald Ganzinger
    Pages 435-450
  22. Aart Middeldorp, Hans Zantema
    Pages 451-465
  23. David A. Basin, Toby Walsh
    Pages 466-483
  24. David B. Sturgill, Alberto Maria Segre
    Pages 484-498
  25. Jean Goubault
    Pages 499-513
  26. Peter Graf
    Pages 514-528
  27. Robert L. Constable
    Pages 529-529
  28. Robert Nieuwenhuis, Albert Rubio
    Pages 545-559
  29. Miki Hermann, Phokion G. Kolaitis
    Pages 560-574
  30. Christian Prehofer
    Pages 635-649
  31. Rolf Socher-Ambrosius
    Pages 665-677

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