Automated Reasoning: 5th International Joint Conference, Ijcar 2010

Name: Automated Reasoning: 5th International Joint Conference
Brand: Springer
SKU: 9783642142024
Price: 4981.00 INR
Availability: InStock

by Jürgen Giesl, Reiner Hähnle

Springer · 2010

The proceedings of the 5th International Joint Conference on Automated Reasoning, held in Edinburgh in July 2010. Suits researchers in automated reasoning and logic.

₹4,981

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹4,533 for this book (save ₹448).

9% off every book, up to ₹500 off per order.

About this book

This volume collects the proceedings of the 5th International Joint Conference on Automated Reasoning, known as IJCAR 2010. The conference was held from July 16 to 19, 2010, in Edinburgh, Scotland, and formed part of the wider Federated Logic Conference.

The School of Informatics at the University of Edinburgh hosted the event. Credited to Jürgen Giesl and Reiner Hähnle, the book is published by Springer under ISBN-13 9783642142024.