Percorrer por autor Kovács, Zoltán
Mostrar resultados 1-1 de 1.
| Data de publicação | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 28-Fev-2020 | Towards a Geometry Automated Provers Competition | Baeta, Nuno ; Quaresma, Pedro ; Kovács, Zoltán | article | openAccess |