A Review of the Development of Mathematics Mechanization (in {Chinese}) - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010
Fichier non déposé

Dates et versions

hal-01293796 , version 1 (25-03-2016)

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⟩
102 Consultations
0 Téléchargements

Partager

More