Somos UnB
UnB
Última atualização do sistema: 15.12.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Teoria de Prova
utilizada 20 vezes por 2 professores
Utilizada por 2 professores
Por ordem de relevância (total: 2)
Mauricio Ayala Rincon
Daniele Nantes Sobrinho
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Teoria de Prova"
Especificacao Algebrica
Lógica da Computação
Lógica e semântica da computação
Métodos Formais
PVS
Sistemas Criptográficos
Sistemas de Reescrita de Termos
Teoria de Prova
Teoria de Reescrita de Termos
Teorias Aritmeticas
Teorias de ordem superior
Unificação Semântica
criptografia
CTIT UFMG