Automated Theorem Proving

€89.90

Available for sending in 4/5 days

Product Information

ISBN9780821850275
PublisherAmerican Mathematical Society
Price (excl. tax)€84.81
Tax€5.09
Price (incl. tax)€89.90
Availability1 unit in external warehouse

Product Description

171 x 252 x 14