Automated Deduction

Name: Automated Deduction: 25th International Conference on Automated Deduction Cade-25 Berlin
Brand: Springer Verlag
SKU: 9783319214009
Price: 4306.00 INR
Availability: InStock

25th International Conference on Automated Deduction Cade-25 Berlin

by Amy P. Felty, Aart Middeldorp

Springer Verlag · 2015 · Paperback

₹4,306

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 2015, Automated Deduction: 25th International Conference on Automated Deduction Cade-25 Berlin by Amy P. Felty & Aart Middeldorp runs to 613 pages in paperback.

The book deals with Automatic theorem proving.