Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers Lecture Notes in Computer Science, nr. 6301 Editat de Thomas Sturm et al. 16 mai 2011 Paperback Preț: 324.89 lei 406.11 lei 3-5 săpt. -20%