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 automated reasoning with analytic tableaux and related methods 22nd international conference tableaux 2013
4 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
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%)

Book details

ISBN: 3642405363, 978-3642405365

Book publisher: Springer