Master Thesis Online
Feuilleter par Auteur : Magera, Floriane
Resultats 1 à 1 de 1
| Titre | Auteur | Année | (Co)Promoteur(s) | |
|---|---|---|---|---|
 |
Automatic demonstration of mathematical conjectures | Magera, Floriane | 2016 | Boigelot, Bernard  |
| Titre | Auteur | Année | (Co)Promoteur(s) | |
|---|---|---|---|---|
|
Automatic demonstration of mathematical conjectures | Magera, Floriane | 2016 | Boigelot, Bernard |