Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings: 2015 by Springer International Publishing AG (Paperback, 2015)


OUR TOP PICK

£47.63

Free P&P
Quantity
3 available
Condition
New
Sold by
Business seller: oodals (90806)99.6 % positive Feedback
Delivery
Est. 4 Mar - 6 MarFrom Norwich
Returns
Buyer pays return postage