Pesquisar

Palavra-chave: TRADUÇÕES ENTRE SISTEMAS LÓGICOS

Utilizada 5 vez(es) por 1 docente(s):

Palavras-chave relacionadas:

Palavra-chave relacionada é aquela que foi utilizada juntamente com "TRADUÇÕES ENTRE SISTEMAS LÓGICOS"

LÓGICAS NÃO-CLÁSSICAS LÓGICAS DA INCONSISTÊNCIA FORMAL TEORIA DE BASES DE DADOS DEDUÇÃO AUTOMÁTICA TEORIA DOS MODELOS