Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000)
Editat de Xiaoshan Gao et al.
7 dec 2000
Hardback
Preț: 830.97 lei 1079.19 lei
Se retipărește
-23%
Cărți de Xiaoshan Gao
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
Autor Shang-Ching Chou et al.
apr 1994
Hardback
Preț: 1021.44 lei 1326.55 lei
Se retipărește
-23%