Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference
Brand: Springer Nature Switzerland AG
SKU: 9783030290252
Price: 4258.00 INR
Availability: InStock

28th International Conference

by Serenella Cerrito, Andrei Popescu

Springer Nature Switzerland AG · 2019 · Paperback

₹4,258

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

Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference by Serenella Cerrito & Andrei Popescu is a 477-page paperback edition published by Springer Nature Switzerland AG in 2019.