Somos UnB UnB

Última atualização do sistema: 13.11.2024

HOME
INDICADORES
CONTATO
SOBRE

Palavra-chave: logic utilizada 5 vezes por 3 professores

Utilizada por 3 professores Por ordem de relevância (total: 3)

Alfredo Roque de Oliveira Freire Filho Flávio Leonardo Cavalcanti de Moura Tomás Roberto Troster

Palavras-chave relacionadas

Palavra-chave relacionada é aquela que foi utilizada juntamente com "logic"

Calculi of Explicit Substitutions
Formal ontology
Lambda Calculus
Ocaml
Ontologia
Platonismo
Quine
Rewriting Systems
logic

CTIT UFMG