Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
TEMPORAL LOGICS
utilizada 26 vezes por 1 professores
Utilizada por 1 professor
Por ordem de relevância (total: 1)
Cláudia Nalon
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "TEMPORAL LOGICS"
Automated Reasoning
COMBINED LOGICS
EPISTEMIC LOGICS
INTERACTING LOGICS
No Learning
Normal Forms
RESOLUTION METHOD
SYNCHRONY
TABLEAUX METHOD
TABLEAUX METHODS
TEMPORAL LOGICS
preprocessing
CTIT UFMG