Somos UnB
UnB
Última atualização do sistema: 15.12.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
first-order unification
utilizada 3 vezes por 3 professores
Utilizada por 3 professores
Por ordem de relevância (total: 3)
Andréia Borges Avelar
Cláudia Nalon
Flávio Leonardo Cavalcanti de Moura
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "first-order unification"
Formal Methods
PVS
first-order unification
CTIT UFMG