Go back
Automated Reasoning With Analytic Tableaux And Related Methods 22nd International Conference Tableaux 2013 Nancy France September 19 2013(2013 Edition)
Authors:
Didier Galmiche ,Dominique Larchey-Wendling
![Free](https://dsd5zvtm8ll6.cloudfront.net/includes/images/document_product_info/free_book_tags.png)
![automated reasoning with analytic tableaux and related methods 22nd international conference tableaux 2013](https://dsd5zvtm8ll6.cloudfront.net/si.question.images/book_images/2024/06/666afc0453511_364666afc044f1e9.jpg)
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 10 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $49.99
Savings: $49.99(100%)