Browsing by Author Fleuriot, Jacques
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| - | Computer-Assisted Theorem Proving in Synthetic Geometry | Narboux, Julien; Janičić, Predrag ; Fleuriot, Jacques | M14 |
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| - | Computer-Assisted Theorem Proving in Synthetic Geometry | Narboux, Julien; Janičić, Predrag ; Fleuriot, Jacques | M14 |