Skip to content
Home/ Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Table
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Table

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Table

No customer reviews yet ISBN 9783319243115 Springer

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015.
The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.

About the author

Product details

BrandSpringer
Pub dateNov 12, 2015
ISBN-10331924311X
ISBN-139783319243115
LanguageEnglish
Dimensions9.25 × 0.84 × 6.1 in
Weight12 lb
Last updated 2026-04-24 04:07
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 28, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Artificial Intelligence - General
See all