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