Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proce - Paperback

Sold out
Original price $99.64 - Original price $99.64
Original price
$99.64
$99.64 - $99.64
Current price $99.64
Availability: Out of Stock
SKU 9783642221187