Formalization and Specification of Geometric Knowledge Objects - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Formalization and Specification of Geometric Knowledge Objects

Fichier non déposé

Dates et versions

hal-01294705 , version 1 (29-03-2016)

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

Partager

More