1
Assuntos:
“...Automatic theorem proving...”
Os teoremas de pappus para os sólidos de revolução
Dissertação
2
Assuntos:
“...[en] THEOREM PROVING...”
[pt] INFRAESTRUTURA PARA PROVADORES INTERATIVOS DE TEOREMAS NA WEB
Tese
3
Assuntos:
“...Constitutional and consumerists proving garantees...”
Princípio da continuidade do serviço público
Dissertação
4
Assuntos:
“...Theorem Proving...”
Proposta de táticas para prova de teoremas de gramática de grafos.
Dissertação
5
6
Assuntos:
“...Automatic theorem proving...”
Os teoremas de Stewart e de Heron e o cálculo da área de um triângulo em função dos lados
Dissertação
7
Assuntos:
“...Automatic theorem proving...”
Teorema de Tales: análise de sua apresentação nos livros didáticos e proposição de atividades
Dissertação
8
Assuntos:
“...Theorem proving...”
Contribuições para verificação automática de applets javacard
Dissertação
9
Assuntos:
“...Proving errors...”
Verificação e comprovação de erros em códigos C usando bounded model checker
Dissertação
10
11
Assuntos:
“...Automatic theorem proving...”
Otimização por nuvem de partículas aplicada ao problema de atribuição de tarefas dinâmico
Dissertação
12
Assuntos:
“...Automatic theorem proving...”
Contando as simetrias rotacionais dos poliedros regulares
Dissertação
13
Assuntos:
“...Automatic theorem proving...”
O ensino de geometria projetiva na educação básica: uma proposta para apreensão do conhecimento do mundo tridimensional
Dissertação
14
Assuntos:
“...dynamization of the burden of proving discrimination...”
O papel da justiça do trabalho na promoção da igualdade de gênero
Dissertação
15
Assuntos:
“...Automatic theorem proving...”
Quadriláteros inscritíveis e os teoremas de Simson-Wallace e de Steiner-Lehmus
Dissertação