Automated Reasoning

Name: Automated Reasoning: 8th International Joint Conference
Brand: Springer Verlag
SKU: 9783319402284
Price: 6229.00 INR
Availability: InStock

8th International Joint Conference

by Nicola Olivetti, Ashish Tiwari

Springer Verlag · 2016 · Paperback

₹6,229

Free delivery. Nothing extra to pay at checkout.

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.

About this book

Published by Springer Verlag in 2016, Automated Reasoning: 8th International Joint Conference by Nicola Olivetti & Ashish Tiwari runs to 532 pages in paperback.

Topics covered include Automatic theorem proving, Artificial intelligence and Logic programming.