2 resultados para Non-Archimedean Real Closed Fields

em Universidade de Lisboa - Repositório Aberto


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de doutoramento, Informática (Engenharia Informática), Universidade de Lisboa, Faculdade de Ciências, 2014

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de doutoramento, História e Filosofia das Ciências, Universidade de Lisboa, Faculdade de Ciências, 2015