project CISUC - UID/CEC/00326/2019

View Statistics Email Alert RSS Feed

Primary Data

Project title
project CISUC - UID/CEC/00326/2019

Publications
(All)

Results 1-1 of 1 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)TypeAccess
128-Feb-2020Towards a Geometry Automated Provers CompetitionBaeta, Nuno ; Quaresma, Pedro ; Kovács, ZoltánarticleopenAccess