En quel sens les démonstrations assistées par ordinateur sont-elles formelles ? - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015
Fichier non déposé

Dates et versions

hal-01250747 , version 1 (05-01-2016)

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

Partager

Gmail Facebook X LinkedIn More