Browsing by Author Kovács, Zoltán
Results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Access |
|---|---|---|---|---|
| 28-Feb-2020 | Towards a Geometry Automated Provers Competition | Baeta, Nuno ; Quaresma, Pedro ; Kovács, Zoltán | article | openAccess |