Mostrando 1 - 2 resultados de 2 para a busca 'BERNARDO PINTO DE ALKMIM', tempo de busca: 0,01s

1

[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

Publicado em 2020
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese

2

[en] LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC

Publicado em 2024
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese