Baeta, Nuno

Network Lab View Statistics Email Alert RSS Feed
 Claim profile

Profile

Loading... 2 0 20 0 false
 
Name
Baeta, Nuno
 
Variants
Baeta, Nuno
 
Unidade de I&D
 
ORCID
 
Ciência ID
 
Status
UC Researcher
Loading... 3 0 20 0 false

Publications
(All)


Refined By:
Subject:  Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science; I.2; I.2.3

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

Issue DateTitleAuthor(s)TypeAccess
13-Jan-2022Open Geometry Prover Community ProjectBaeta, Nuno ; Quaresma, Pedro articleopenAccess