Communication Dans Un Congrès
Année : 2011
Marc Mezzarobba : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04194328
Soumis le : samedi 2 septembre 2023-15:44:36
Dernière modification le : mercredi 13 septembre 2023-10:39:58
Citer
Loïc Pottier. Preuves formelles automatiques et calcul formel. Journées nationales de calcul formel, 2011, Luminy, France. pp.1-25, ⟨10.5802/ccirm.15⟩. ⟨hal-04194328⟩
8
Consultations
0
Téléchargements