Article Dans Une Revue
Images des Mathématiques
Année : 2014
Assia Mahboubi : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01062816
Soumis le : mercredi 10 septembre 2014-15:56:05
Dernière modification le : mercredi 15 mars 2023-08:56:16
Dates et versions
Identifiants
- HAL Id : hal-01062816 , version 1
Citer
Assia Mahboubi. Un ordinateur pour vérifier les preuves mathématiques. Images des Mathématiques, 2014. ⟨hal-01062816⟩
Collections
177
Consultations
0
Téléchargements