1
Assuntos:
“...Lógica simbólica e matemática...”
Reconhecimento de caracteres alfanuméricos atraves de técnicas de lógica nebulosa
Dissertação
2
Assuntos:
“...Lógica simbólica e matemática...”
Valorações para alguns sistemas de logica do tempo
Dissertação
3
4
5
Assuntos:
“...Lógica simbólica e matemática...”
O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
Tese
6
7
Assuntos:
“...Lógica simbólica e matemática...”
Teoria das funções recursivas e aplicações a logica
Dissertação
8
Assuntos:
“...Lógica simbólica e matemática...”
Verificação automática de lógicas finitas multivalentes
Tese
9
Assuntos:
“...Lógica simbólica e matemática...”
Estudo de modelos de conservação de paridade por crescimento de superfícies.
Dissertação
10
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
11
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
12
Assuntos:
“...Lógica simbólica e matemática...”
A argumentação lógica no ensino da geometria
Dissertação
13
Assuntos:
“...Logica simbolica e matematica...”
Planejamento em inteligencia artificial na lógica de ações e planos
Dissertação
14
Assuntos:
“...Lógica simbólica e matemática - Estudo e ensino...”
Uma proposta alternativa para o ensinode introdução a logica matematica
Dissertação
15
Assuntos:
“...Lógica simbólica e matemática...”
O método dos isomorfismos parciais e a caracterização algébrica da expressabilidade matemática
Dissertação
16
Assuntos:
“...Lógica simbólica e matemática...”
Fundamentos logico-epistemologicos da aritmetica
Tese
17
18
Assuntos:
“...Lógica simbólica e matemática...”
A lógica de Brouwer e o príncipio ex falso quodlibet
Dissertação
19
Assuntos:
“...Lógica simbólica e matemática...”
Algoritmo para agrupamento de descontinuidades em famílias baseado no Método Fuzzy K-Means.
Tese
20
Assuntos:
“...Lógica simbólica e matemática...”
Aspectos computacionais do cálculo de estruturas
Dissertação