Communication Dans Un Congrès
Année : 2005
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01486872
Soumis le : vendredi 10 mars 2017-15:23:11
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01486872 , version 1
Citer
Dongming Wang. Computer Algebra and Automated Deduction: A Brief Introduction. ASCM 2005 - 7th Asian Symposium on Computer Mathematics, Dec 2005, Seoul, South Korea. pp.22-23. ⟨hal-01486872⟩
Collections
59
Consultations
0
Téléchargements