Go back

Automated Reasoning With Analytic Tableaux And Related Methods Th International Conference Tableaux 2007 Aix En Provence France July 3 6 2007(2007 Edition)

Authors:

Nicola Olivetti

Free automated reasoning with analytic tableaux and related methods th international conference tableaux 2007 aix
8 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: $43.60 Savings: $43.6(100%)

Book details

ISBN: 3540730982, 978-3540730989

Book publisher: Springer