Espere um momento... 2 0 20 0 false
 
Name
Baeta, Nuno
 
Variants
Baeta, Nuno
 
 
 
Ciência ID
 
Status
UC Researcher
Espere um momento... 3 0 20 0 false

Publications
(Todas)

Refinado por:
Assunto:  Automated theorem proving
Assunto:  Full-angle method
Assunto:  Geometria

Resultados 1-1 de 1.

Data de publicaçãoTítuloAutor(es)TipoAcesso
117-Jun-2013O método do ângulo completo no sistema OpenGeoProverBaeta, Nuno Miguel dos Santos masterThesisopenAccess