Journal Articles
Images des Mathématiques
Year : 2014
Assia Mahboubi : Connect in order to contact the contributor
https://hal.inria.fr/hal-01062816
Submitted on : Wednesday, September 10, 2014-3:56:05 PM
Last modification on : Thursday, December 22, 2022-10:16:38 AM
Dates and versions
Identifiers
- HAL Id : hal-01062816 , version 1
Cite
Assia Mahboubi. Un ordinateur pour vérifier les preuves mathématiques. Images des Mathématiques, 2014. ⟨hal-01062816⟩
Collections
171
View
0
Download