Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Automated Reasoning
utilizada 66 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 "Automated Reasoning"
Automated Reasoning
COMBINED LOGICS
CONDITIONAL LOGICS
Combined Proof Methods
Modal Logics
Model Construction
NON NORMAL MODAL LOGICS
Normal Forms
Normal Modal Logics
Petri Nets
Preferential Logics
RESOLUTION METHOD
TABLEAUX METHOD
TABLEAUX METHODS
TEMPORAL LOGICS
logics of confluence
non-classical logics
preprocessing
reduções polinominais
related methods
sat
CTIT UFMG