Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference
Brand: Springer International Publishing AG
SKU: 9783319669014
Price: 5061.00 INR
Availability: InStock

26th International Conference

by Renate A. Schmidt, Cláudia Nalon

Springer International Publishing AG · 2017 · Paperback

₹5,061

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 International Publishing AG in 2017, Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference by Renate A. Schmidt & Cláudia Nalon runs to 381 pages in paperback.

Topics covered include Automatic theorem proving, Artificial intelligence and Logic.