Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2003)


OUR TOP PICK

AU $112.00

List price AU $147.99 Save 24%
Quantity
2 available
Condition
Brand new
Sold by
Returns
30 days money back
Buyer pays return postage