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

Name: Springer Automated Reasoning (English, Special Edition, Bernhard Gramlich | Dale Miller | Ulrike Sattler)
Brand: Bernhard Gramlich | Dale Miller | Ulrike Sattler
SKU: isbn-9783642313646
Price: 5686 INR
Availability: InStock

by Bernhard Gramlich | Dale Miller | Ulrike Sattler

Delivery options

₹5,686-8%

MRP:₹6,187Save ₹501

100% Genuine Book · Verified Seller

Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Ships same day. Delivery in 3-4 business days.

15-Day Easy Returns — hassle-free return & full refund.

Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.

Quantity

Total: ₹5,686

Book Details

Author

Bernhard Gramlich | Dale Miller | Ulrike Sattler

Publisher

Springer

Language

English

ISBN-13

9783642313646

Format

Special Edition

BISAC

Artificial Intelligence - General

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.

Why You Should Read This Book

Written by acclaimed author Bernhard Gramlich | Dale Miller | Ulrike Sattler
Published by Springer, a respected name in academic and professional publishing
Covers the domain of Artificial Intelligence / General with depth and clarity
Available in English — ideal for students, researchers, and professionals alike
A trusted reference work that belongs on every serious reader's shelf

Product Details

This Special Edition of Automated Reasoning is published by Springer and carries ISBN-13 9783642313646. Packaged securely for delivery across India, this edition is ideal for personal libraries, classroom use, and professional reference.

Who Is This Book For?

Whether you are a student preparing for advanced coursework, a researcher deepening your expertise, or a professional staying current with the field, Automated Reasoning by Bernhard Gramlich | Dale Miller | Ulrike Sattler is an excellent choice. Order your copy today from BookBajar and enjoy free shipping with Cash on Delivery available across India.

ISBN-13: 9783642313646

Frequently Asked Questions

What is the price of Springer Automated Reasoning?

Springer Automated Reasoning starts from ₹5686 at BookBajar. Available in Paperback. This is one of the best prices available online in India.

Who is the author of Springer Automated Reasoning?

Bernhard Gramlich | Dale Miller | Ulrike Sattler is the author of Springer Automated Reasoning. Browse more books by Bernhard Gramlich | Dale Miller | Ulrike Sattler on BookBajar.

Is Springer Automated Reasoning available in Paperback and Hardcover?

Yes, Springer Automated Reasoning is available in Paperback on BookBajar. Select your preferred format on the product page.

Does BookBajar offer free delivery for Springer Automated Reasoning?

Yes, BookBajar offers free delivery for Springer Automated Reasoning across India. No minimum order value required.

Is Cash on Delivery available for Springer Automated Reasoning?

Yes, Cash on Delivery (COD) is available for Springer Automated Reasoning on BookBajar. You can pay when your order is delivered.

Product ID: isbn-9783642313646

🛒 Customers Also Bought

Pearson Education (US) Principles of Chemistry (English, Hardcove... (English, Paperback, )

₹2,724

Teaching School Mathematics: Algebra (English, Hardcover, Hung-Hsi Wu)

₹5,213

NoNonsense Rethinking Education: Whose knowledge is it anyway? (English, Paperback, John Yandell, Adam Unwin)

₹2,700

Felix Vallotton (Best of...) (English, Paperback, Natalia Brodskaia)

₹2,700

Cornerstone Atomic Habits - For An Easy & Proven Way to Build Good Habits & Break Bad Habits (English, Paperback, NIL)

₹310

Principles of Chemistry (English, Paperback, Tro Nivaldo)