Communication Dans Un Congrès
Année : 2006
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01352029
Soumis le : vendredi 5 août 2016-11:33:46
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01352029 , version 1
Citer
Ivan Noyer, Renaud Rioboo. Mechanized Calculus and Algebra: the FoCaL approach. Second International Congress on Mathematical Software ICMS'2006, Sep 2006, Castro Urdiales, Spain. ⟨hal-01352029⟩
Collections
66
Consultations
0
Téléchargements