Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000)
Editat de Xiaoshan Gao et al.
7 dec 2000
Hardback
Preț: 831.00 lei 1079.22 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.49 lei 1326.61 lei
Se retipărește
-23%