Buscas alternativas:
intuicionista » interacionista (Expandir a busca), nutricionista (Expandir a busca)
intuicionista » interacionista (Expandir a busca), nutricionista (Expandir a busca)
1
Assuntos:
“...Lógica intuicionista...”
Cálculos de múltipla conclusão para a lógica intuicionista sob uma perspectiva geométrica
Tese
2
3
4
Assuntos:
“...[pt] LOGICA INTUICIONISTA...”
[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Tese
5
Assuntos:
“...lógica intuicionista...”
Estados de equilíbrio na teoria quântica em topoi
Dissertação
6
7
Assuntos:
“...[pt] LOGICA INTUICIONISTA...”
[pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA
Tese
8
Assuntos:
“...[pt] LOGICA INTUICIONISTA...”
[en] LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC
Tese