Theorem Proving with Analytic Tableaux and Related Methods

Name: Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10,
Brand: Springer
SKU: 9783540593386
Price: 5561.00 INR
Availability: InStock

4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10,

by Peter Baumgartner, Reiner Hähnle, Joachim Posegga

Springer

₹5,561

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
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.

From the publisher

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schlo Rheinfels, St. Goar, Germany in May 1995. Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level.

Description supplied by the publisher.