UFMG Somos UFMG

Última atualização do sistema: 20.10.2023

Palavra-chave: automated reasoning utilizada 2 vezes por 1 professores

Utilizada por 1 professor Por ordem de relevância (total: 1)

Haniel Moreira Barbosa

Palavras-chave relacionadas

Palavra-chave relacionada é aquela que foi utilizada juntamente com "automated reasoning"
CTIT UFMG