Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference
Brand: Springer
SKU: 9783642221187
Price: 5534.00 INR
Availability: InStock

20th International Conference

by Kai Brünnler, George Metcalfe

Springer · 2011

₹5,534

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: 20th International Conference by Kai Brünnler & George Metcalfe is a 277-page book published by Springer in 2011. The book is part of the Lecture notes in computer science series.

Its main subjects are Congresses, Automatic theorem proving, Logics and Meanings of Programs and Software engineering.