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 : jeudi 21 novembre 2024-15:12:02
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
183
Consultations
0
Téléchargements