Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence).rarHigh Speed Download
File size : 3.2 MB