1
Assuntos:
“...Logica simbolica e matematica...”
Planejamento em inteligencia artificial na lógica de ações e planos
Dissertação
2
Assuntos:
“...Logica simbolica e matematica...”
Satisfatibilidade não-clausal restrita às variáveis de entrada
Dissertação
3
Assuntos:
“...Logica simbolica e matematica...”
Plataforma para desenvolvimento e avaliação de resolvedores SAT
Dissertação
4
5
Assuntos:
“...Logica simbolica e matematica...”
A lógica no desenvolvimento da competência argumentativa
Tese
6
Assuntos:
“...Logica simbolica e matematica...”
Um modelo algébrico do quantificador da ubiquidade
Dissertação
7
8
9
Assuntos:
“...Logica simbolica e matematica...”
A lógica da descoberta nos jogos digitais
Dissertação
10
Assuntos:
“...Logica simbolica e matematica...”
Sobre o uso da função proposicional e sua gênese segundo a epistemologia genética
Dissertação
11
Assuntos:
“...Logica simbolica e matematica...”
Lógica matemática no ensino médio: uma proposta para mobilizar raciocínios
Dissertação