2 resultados para FIRST-ORDER ABDUCTION
em Universidade de Lisboa - Repositório Aberto
Relevância:
Resumo:
Tese de doutoramento, Matemática (Álgebra Lógica e Fundamentos), Universidade de Lisboa, Faculdade de Ciências, 2014
Relevância:
Resumo:
Tese de doutoramento, Informática (Engenharia Informática), Universidade de Lisboa, Faculdade de Ciências, 2015