Communication Dans Un Congrès
Année : 2009
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01294705
Soumis le : mardi 29 mars 2016-16:47:42
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01294705 , version 1
Citer
Dongming Wang. Formalization and Specification of Geometric Knowledge Objects. AWFS 2009: the Sixth Asian Workshop on Foundations of Software, Apr 2009, Tokyo, Japan. pp.86-98. ⟨hal-01294705⟩
Collections
79
Consultations
0
Téléchargements