Browsing by Author Baeta, Nuno


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Results 4 to 5 of 5 previous 
Issue DateTitleAuthor(s)TypeAccess
28-Feb-2020Towards a Geometry Automated Provers CompetitionBaeta, Nuno ; Quaresma, Pedro ; Kovács, ZoltánarticleopenAccess
1-Apr-2019Towards Ranking Geometric Automated Theorem ProversBaeta, Nuno ; Quaresma, Pedro articleopenAccess
Results 4 to 5 of 5 previous