Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium Editat de Manfred Kerber et al. 2 apr 2001 Hardback Preț: 522.72 lei 798.38 lei Indisponibil temporar -35%