1
Assuntos:
“...Lógica simbólica e matemática...”
A argumentação lógica no ensino da geometria
Dissertação
2
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
3
Assuntos:
“...Lógica simbólica e matemática...”
Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
Dissertação
4
Assuntos:
“...Logica simbolica e matematica...”
Planejamento em inteligencia artificial na lógica de ações e planos
Dissertação
5
Assuntos:
“...Logica simbolica e matematica...”
Satisfatibilidade não-clausal restrita às variáveis de entrada
Dissertação
6
Assuntos:
“...Lógica simbólica e matemática...”
Causalidade e dependência em raciocínio sobre ações
Dissertação
7
Assuntos:
“...Logica simbolica e matematica...”
Plataforma para desenvolvimento e avaliação de resolvedores SAT
Dissertação
8
Assuntos:
“...Lógica simbólica e matemática...”
Operadores pseudodiferenciais periódicos
Dissertação
9
Assuntos:
“...Lógica simbólica e matemática...”
A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior
Dissertação