Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2002)


OUR TOP PICK

$267.68

+ $10.00 postage
Quantity
1 available
Condition
Brand new
Sold by
roxy*books (277319)98.6% Positive Feedback
Delivery
Est. 10 May - 16 MayFrom United Kingdom
Returns
7 days money back
Buyer pays return postage