Lecture Notes in Computer Science

7th International Conference on Automated Deduction

Proceedings

Editors: Shostak, R. E. (Ed.)

14Chapter downloads/week on SpringerLink

Buy this book

eBook $119.00 net
( price for USA )
  • ISBN 978-0-387-34768-4
  • digitally watermarked, no DRM
  • included format: PDF
  • eBooks can be used on all Reading Devices
Softcover $149.00 net
( price for USA )
  • ISBN 978-0-387-96022-7
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days
About this book

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) .

Table of contents (29 chapter)

  • Universal Unification

    Siekmann, Jörg H.

    Pages 1-42

    Buy Chapter $29.95
  • A Portable Environment for Research in Automated Reasoning

    Lusk, Ewing L. (et al.)

    Pages 43-52

    Buy Chapter $29.95
  • A Natural Proof System Based on Rewriting Techniques

    Kapur, Deepak (et al.)

    Pages 53-64

    Buy Chapter $29.95
  • EKL—A Mathematically Oriented Proof Checker

    Ketonen, Jussi

    Pages 65-79

    Buy Chapter $29.95
  • A Linear Characterization of NP-Complete Problems

    Ursic, Silvio

    Pages 80-100

    Buy Chapter $29.95
Free Preview

Buy this book

eBook $119.00 net
( price for USA )
  • ISBN 978-0-387-34768-4
  • digitally watermarked, no DRM
  • included format: PDF
  • eBooks can be used on all Reading Devices
Softcover $149.00 net
( price for USA )
  • ISBN 978-0-387-96022-7
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
7th International Conference on Automated Deduction
Book Subtitle
Proceedings
Series Title
Lecture Notes in Computer Science
Series Volume
170
Copyright
1984
Publisher
Springer-Verlag New York
Copyright Holder
Springer-Verlag New York
eBook ISBN
978-0-387-34768-4
DOI
10.1007/978-0-387-34768-4
Softcover ISBN
978-0-387-96022-7
Series ISSN
0302-9743
Edition Number
1
Topics