2 resultados para First Order Systems

em Universidade de Lisboa - Repositório Aberto


Relevância:

90.00% 90.00%

Publicador:

Resumo:

Tese de doutoramento, Matemática (Álgebra Lógica e Fundamentos), Universidade de Lisboa, Faculdade de Ciências, 2014

Relevância:

90.00% 90.00%

Publicador:

Resumo:

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