7th International Conference on Automated Deduction

Napa, California, USA May 14–16, 1984 Proceedings

  • R. E. Shostak
Conference proceedings CADE 1984

Part of the Lecture Notes in Computer Science book series (LNCS, volume 170)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Jörg H. Siekmann
    Pages 1-42
  3. Ewing L. Lusk, Ross A. Overbeek
    Pages 43-52
  4. Deepak Kapur, Balakrishnan Krishnamurthy
    Pages 53-64
  5. Ana R. Cavalli, Luis FariÑas Del Cerro
    Pages 113-127
  6. Philippe Le Chenadec
    Pages 142-165
  7. Pierre Lescanne
    Pages 166-174
  8. Jean-Pierre Jouannaud, Miguel Munoz
    Pages 175-193
  9. François Fages
    Pages 194-208
  10. L. Wos, R. Veroff, B. Smith, W. McCune
    Pages 316-332
  11. Frank Pfenning
    Pages 394-413
  12. Jack Minker, Donald Perlis
    Pages 414-425
  13. Kenneth Forsythe, Stanislaw Matwin
    Pages 426-444
  14. David A. Schmidt
    Pages 445-459
  15. Alex Pelin, Jean H. Gallier
    Pages 476-495
  16. Hans-Jürgen Ohlbach, Graham Wrightson
    Pages 496-508

About these proceedings


The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logic programming, formal specification, program synthesis, and related areas. The presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes. Contributions were presented by authors from Canada, France, Spain, the United Kingdom , the United States, and West Germany. The first conference in this series was held a decade earlier in Argonne, Illinois. Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2). Program Committee P. Andrews (CMU) W.W. Bledsoe (U. Texas) past chairman L. Henschen (Northwestern) G. Huet (INRIA) D. Loveland (Duke) past chairman R. Milner (Edinburgh) R. Overbeek (Argonne) T. Pietrzykowski (Acadia) D. Plaisted (U. Illinois) V. Pratt (Stanford) R. Shostak (SRI) chairman J. Siekmann (U. Kaiserslautern) R. Waldinger (SRI) Local Arrangements R. Schwartz (SRI) iv CONTENTS Monday Morning Universal Unification (Keynote Address) Jorg H. Siekmann (FRG) .


Theorembeweisen (Kybern.) automated deduction automated reasoning commutative property complexity knowledge representation proof proving verification

Editors and affiliations

  • R. E. Shostak
    • 1
  1. 1.SRI InternationalMenlo ParkUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-387-96022-7
  • Online ISBN 978-0-387-34768-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking