2 resultados para FIRST-ORDER ABDUCTION

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:

80.00% 80.00%

Publicador:

Resumo:

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