Go back

Automated Reasoning With Analytic Tableaux And Related Methods International Conference Tableaux 2005 Koblenz Germany September 2005 Proceedings(1st Edition)

Authors:

Bernhard Beckert

Free automated reasoning with analytic tableaux and related methods international conference tableaux 2005 koblenz
6 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $54.99 Savings: $54.99(100%)

Book details

ISBN: 1443762369, 978-3540289319

Book publisher: Springer