Assia MAHBOUBI - Vérifier des preuves mathématiques avec un ordinateur
Title - HTML
- Se connecter pour publier des commentaires
Nom de l'orateur
Assia MAHBOUBI
Etablissement de l'orateur
INRIA
Date et heure de l'exposé
18-04-2013 - 17:00:00
Lieu de l'exposé
Amphi Pasteur Bâtiment 2
comments