Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... Notes in Computer Science Book 4573)
Asin: B01JAJ38I2
As an Amazon Associate we earn a fee from qualifying purchases when you follow a link to Amazon from this page. We rank the products, but the links to Amazon are promotional.First Available: 08/15/2007
Manufacturer: Springer
See On Amazon Similar To Towards Mechanized Mathematical Assistants 14th
Looking For Something Else?
Search