Automated Deduction -- Cade-23

Name: Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduction
Brand: Springer
SKU: 9783642224379
Price: 5669.00 INR
Availability: InStock

23rd International Conference on Automated Deduction

by Nikolaj Björner, Viorica Sofronie-Stokkermans

Springer · 2011

₹5,669

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 ₹5,169 for this book (save ₹500).

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

About this book

Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduction is written by Nikolaj Björner & Viorica Sofronie-Stokkermans. This edition from Springer (2011).

Topics covered include Logic design, Software engineering, Computer science and Artificial intelligence.