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