All Books
Automated Reasoning (English, Bernhard Gramlich | Dale Miller | Ulrike Sattler)
Springer

Automated Reasoning (English, Bernhard Gramlich | Dale Miller | Ulrike Sattler)

5,686

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

Quantity:
1
Share:
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only

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

Product Description

About the Book

Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.

ISBN: 9783642313646

Book Specifications

ISBN-139783642313646
ISBN-103642313647
PublisherSpringer
CategorySpringer

Frequently Asked Questions

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

Your Cart

Your cart is empty

Add books to get started

Chat with us on WhatsApp