Somos UnB
UnB
Última atualização do sistema: 15.12.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
RESOLUTION METHOD
utilizada 80 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 "RESOLUTION METHOD"
Automated Reasoning
Bivalent Semantics
Bridge Principles
COALITION LOGIC
COMBINED LOGICS
CONDITIONAL LOGICS
Combined Proof Methods
Deductive Systems
Dynamic Logics
E-connections
EPISTEMIC LOGICS
INTERACTING LOGICS
Lógicas Dinâmicas
Modal Logics
Model Construction
Multiple-valued Logics
NON NORMAL MODAL LOGICS
No Learning
Normal Forms
Normal Modal Logics
Petri Nets
Preferential Logics
Proof Method
RESOLUTION METHOD
SYNCHRONY
TEMPORAL LOGICS
THEOREM PROVING
logics of confluence
non-classical logics
preprocessing
sat
strategies
CTIT UFMG