Communication Dans Un Congrès
Année : 2015
Baptiste Mélès : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01250747
Soumis le : mardi 5 janvier 2016-11:38:07
Dernière modification le : vendredi 24 mars 2023-14:53:01
Dates et versions
Identifiants
- HAL Id : hal-01250747 , version 1
Citer
Baptiste Mélès. En quel sens les démonstrations assistées par ordinateur sont-elles formelles ?. Rhétorique en mathématiques, Caroline Jullien, Nov 2015, Nancy, France. ⟨hal-01250747⟩
Collections
39
Consultations
0
Téléchargements