9th International Conference on Automated Deduction

Name: 9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 23-26, 1988. Proceedings
Brand: Springer
SKU: 9783540193432
Price: 5283.00 INR
Availability: InStock

Argonne, Illinois, Usa, May 23-26, 1988. Proceedings

by Ewing Lusk, Ross Overbeek

Springer

₹5,283

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.