7th International Conference on Automated Deduction: Proceedings - Lecture Notes in Computer Science 170 (Paperback)
  • 7th International Conference on Automated Deduction: Proceedings - Lecture Notes in Computer Science 170 (Paperback)
zoom

7th International Conference on Automated Deduction: Proceedings - Lecture Notes in Computer Science 170 (Paperback)

(editor)
£99.50
Paperback 512 Pages / Published: 18/05/1984
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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) .

Publisher: Springer-Verlag New York Inc.
ISBN: 9780387960227
Number of pages: 512
Weight: 1590 g
Dimensions: 235 x 155 x 26 mm
Edition: 1984 ed.

You may also be interested in...

Dark Pools
Added to basket
£9.99
Paperback
Sentiment Analysis and Opinion Mining
Added to basket
Superintelligence
Added to basket
£18.99
Hardback
Machine Learning
Added to basket
Statistical Pattern Recognition
Added to basket
Deep Learning
Added to basket
£39.99
Paperback
Principles of Artificial Intelligence
Added to basket
Human-Computer Interaction
Added to basket
Introduction to Machine Learning
Added to basket
Understanding Beliefs
Added to basket
Probabilistic Graphical Models
Added to basket
AI for Game Developers
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.