Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 97, Pont-a-Mousson, France, May 13 - 16, 1997 Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1997)


OUR TOP PICK

$137.02

Free postage
Quantity
5 available
Condition
Brand new
Sold by
the_nile (829615)99.1% Positive Feedback
Delivery
Est. 6 Mar - 22 MarFrom Sydney
Returns
30 days money back
Buyer pays return postage