Automated Deduction - Cade-11 (English, Deepak Kapur)-65% OFF
Sciences, Technology & Medicine

Automated Deduction - Cade-11 (English, Deepak Kapur)

4,10511,773Save 65%

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139783540556022
ISBN-103540556028

Product Description

About the Book

This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theoremprovers; unification theory; constraint…

ISBN: 9783540556022

Frequently Asked Questions

What is the price of Automated Deduction - Cade-11?
Automated Deduction - Cade-11 is available at ₹4,105 on BookShops.in.
Does BookShops.in offer free delivery for Automated Deduction - Cade-11?
FREE delivery on all orders for Automated Deduction - Cade-11.
Is Cash on Delivery available for Automated Deduction - Cade-11?
Yes, Cash on Delivery (COD) is available for Automated Deduction - Cade-11 on BookShops.in. Pay when your order arrives.
What is the return policy for Automated Deduction - Cade-11?
BookShops.in offers a 15-day hassle-free return policy for Automated Deduction - Cade-11. Contact us at support@bookshops.in or call +91 81899 68108.
Is Automated Deduction - Cade-11 authentic?
Automated Deduction - Cade-11 is listed on BookShops.in after verification of product details including ISBN, title, and availability information.