9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Author:   Ewing Lusk ,  Ross Overbeek
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   1988 ed.
Volume:   310
ISBN:  

9783540193432


Pages:   776
Publication Date:   04 May 1988
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $274.56 Quantity:  
Add to Cart

Share |

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings


Add your own review!

Overview

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.

Full Product Details

Author:   Ewing Lusk ,  Ross Overbeek
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1988 ed.
Volume:   310
Dimensions:   Width: 15.50cm , Height: 3.90cm , Length: 23.50cm
Weight:   2.400kg
ISBN:  

9783540193432


ISBN 10:   354019343
Pages:   776
Publication Date:   04 May 1988
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now