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