Symbolic Computation and Education Editat de Shangzhi Li et al. 30 sep 2007 Hardback Preț: 773.37 lei 1004.37 lei Indisponibil temporar -23%
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems Autor Shang-Ching Chou et al. apr 1994 Hardback Preț: 943.79 lei 1225.71 lei Se retipărește -23%