Communication Dans Un Congrès
Année : 2009
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125628
Soumis le : vendredi 6 mars 2015-11:21:51
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01125628 , version 1
Citer
Ivan Noyer, Renaud Rioboo. Reusing Proofs in a Mathematical Library. Calculemus 2009 - 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Jul 2009, Ontario, Canada. ⟨hal-01125628⟩
Collections
46
Consultations
0
Téléchargements