Automated Deduction – CADE 27

Name: Automated Deduction – CADE 27: 27th International Conference on Automated Deduction
Brand: Springer Nature Switzerland AG
SKU: 9783030294359
Price: 6205.00 INR
Availability: InStock

27th International Conference on Automated Deduction

by Pascal Fontaine

Springer Nature Switzerland AG · 2019 · Paperback

₹6,205

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 Nature Switzerland AG in 2019, Automated Deduction – CADE 27: 27th International Conference on Automated Deduction by Pascal Fontaine runs to 582 pages in paperback.