Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2013)


OUR TOP PICK

$81.86

+ $10.00 postage
Quantity
1 available
Condition
Brand new
Sold by
roxy*books (283373)98.7% Positive Feedback
Delivery
Est. 6 Jul - 12 JulFrom United Kingdom
Returns
7 days money back
Buyer pays return postage