1
Assuntos:
“...Lógica simbólica e matemática...”
Uma implementaçao genérica para Métodos de Tableaux Modais com uma aplicaçao específica em raciocínio sobre açoes
Dissertação
2
Assuntos:
“...Lógica simbólica e matemática...”
Causalidade e dependência em raciocínio sobre ações
Dissertação