Buscas alternativas:
automatic theorem » automata theory (Expandir a busca)
"Automatic theorem proving" » "Automatic theorem providing" (Expandir a busca), "Automatic theorem improving" (Expandir a busca)
automatic theorem » automata theory (Expandir a busca)
"Automatic theorem proving" » "Automatic theorem providing" (Expandir a busca), "Automatic theorem improving" (Expandir a busca)
1
Assuntos:
“...Automatic theorem proving...”
Os teoremas de pappus para os sólidos de revolução
Dissertação
2
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
3
Assuntos:
“...Automatic theorem proving...”
Teorema de Tales: análise de sua apresentação nos livros didáticos e proposição de atividades
Dissertação
4
5
Assuntos:
“...Automatic theorem proving...”
Otimização por nuvem de partículas aplicada ao problema de atribuição de tarefas dinâmico
Dissertação
6
Assuntos:
“...Automatic theorem proving...”
Contando as simetrias rotacionais dos poliedros regulares
Dissertação
7
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
8
Assuntos:
“...Automatic theorem proving...”
Quadriláteros inscritíveis e os teoremas de Simson-Wallace e de Steiner-Lehmus
Dissertação