Communication Dans Un Congrès
Année : 2010
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01293796
Soumis le : vendredi 25 mars 2016-14:44:57
Dernière modification le : mardi 26 mars 2024-16:24:04
Dates et versions
Identifiants
- HAL Id : hal-01293796 , version 1
Citer
Dongming Wang, Xiao-Shan Gao, Zhuojun Liu, Ziming Li. A Review of the Development of Mathematics Mechanization (in {Chinese}). Wen-tsün Wu and Chinese Mathematics, 2010, Singapore, Singapore. pp.221--233. ⟨hal-01293796⟩
Collections
82
Consultations
0
Téléchargements