Buscas alternativas:
deduction logic » deductive logic (Expandir a busca), induction logic (Expandir a busca), production logic (Expandir a busca)
deduction logic » deductive logic (Expandir a busca), induction logic (Expandir a busca), production logic (Expandir a busca)
1
Assuntos:
“...Logic programming...”
Sobre os fundamentos de programação lógica paraconsistente
Dissertação
2
Assuntos:
“...Natural deduction in posicional logic...”
Identificando conhecimentos a partir da aplicação das regras de dedução natural na lógica proposicional, um estudo prático
Tese
3
Assuntos:
“...Otimização de circuitos lógicos...”
Otimização de funções lógicas majoritárias utilizando programação linear inteira binária e quantificação de primitivas
Dissertação
4
Assuntos:
“...Lógica nominal...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese