Buscas alternativas:
"proving" » "providing" (Expandir a busca)
"improving" » "improviding" (Expandir a busca)
"proving" » "providing" (Expandir a busca)
"improving" » "improviding" (Expandir a busca)
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:
“...Improving and changing management...”
Protótipo de um repositório de dados de Benchmarking
Dissertação
7
Assuntos:
“...Improving management of power in school management...”
Empoderamento na escola: estudo de experiência de gestão escolar em unidade da rede pública de ensino da Bahia
Dissertação
8
Assuntos:
“...Improving customer service...”
Implementação de um chatbot em uma universidade pública: aprimorando a experiência do atendimento
Dissertação
9
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
10
Assuntos:
“...Automatic theorem proving...”
Teorema de Tales: análise de sua apresentação nos livros didáticos e proposição de atividades
Dissertação
11
Assuntos:
“...Proving errors...”
Verificação e comprovação de erros em códigos C usando bounded model checker
Dissertação
12
Assuntos:
“...Theorem proving...”
Contribuições para verificação automática de applets javacard
Dissertação
13
Assuntos:
“...Improving currency...”
O tonel das danaides: um estudo sobre o debate do meio circulante no Brasil entre os anos de 1850 a 1866 nas principais instâncias decisórias
Tese
14
Assuntos:
“...Improving Care for Health System Elders...”
Gestão do cuidado à pessoa idosa hospitalizada: o conforto como resultado essencial
Dissertação
15
16
Assuntos:
“...Automatic theorem proving...”
Otimização por nuvem de partículas aplicada ao problema de atribuição de tarefas dinâmico
Dissertação
17
Assuntos:
“...Automatic theorem proving...”
Contando as simetrias rotacionais dos poliedros regulares
Dissertação
18
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
19
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
20
Assuntos:
“...Improving...”
Vantagens de aglomerações no Brasil, as mudanças nos fluxos migratórios e no perfil dos migrantes entre 1980 e 2010
Dissertação