Browsing by Author : Magera, Floriane
Showing results 1 to 1 of 1
Title | Author(s) | Year | (Co)Promotor(s) | |
---|---|---|---|---|
Automatic demonstration of mathematical conjectures | Magera, Floriane | 2016 | Boigelot, Bernard |
Title | Author(s) | Year | (Co)Promotor(s) | |
---|---|---|---|---|
Automatic demonstration of mathematical conjectures | Magera, Floriane | 2016 | Boigelot, Bernard |