Go back

Automated Reasoning With Analytic Tableaux And Related Methods 2 International Conference Tableaux 2015 Wroclaw Poland September 21 24 2015(1st Edition)

Authors:

Hans De Nivelle

Free automated reasoning with analytic tableaux and related methods 2 international conference tableaux 2015
15 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: $53.07 Savings: $53.07(100%)

Book details

ISBN: 331924311X, 978-3319243115

Book publisher: Springer