Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium Editat de Manfred Kerber et al. 2 apr 2001 Hardback Preț: 496.08 lei 798.94 lei 6-8 săpt. -38%