$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Estatísticas > Conteúdo - Acesso

Número: 65956 Tipo de Acesso: PÚBLICO
Título: LEI E ORDENAÇÃO: ADICIONANDO DEDUÇÃO NATURAL E MECANISMOS DE RACIOCÍNIO NÃO MONOTÔNICO A UMA LÓGICA DESCRITIVA INTUICIONISTA
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: BERNARDO PINTO DE ALKMIM
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
CLAUDIA NALON - Coorientador

Curso: PPG EM INFORMÁTICA
Título Outorgado: DOUTOR EM CIÊNCIAS - INFORMÁTICA
Área: TEORIA DA COMPUTAÇÃO
Catalogação: 30/01/2024 Defesa: 25/09/2023 Língua: INGLÊS - ESTADOS UNIDOS Países: 35 Visitas: 338 Partições: 1

  País  Visitas 
ALEMANHA12
AUSTRALIA1
AUSTRIA 2
BANGLADESH2
BELGICA3
BRASIL69
CANADA1
CHINA66
COREIA, REPUBLICA DA5
10 ESTADOS UNIDOS93
11 FILIPINAS4
12 FINLANDIA2
13 FRANCA3
14 GRA-BRETANHA4
15 HOLANDA1
16 HONG KONG 6
17 INDIA1
18 INDONESIA9
19 IRA, REPUBLICA ISLAMICA DO1
20 ITALIA1
21 JAMAICA1
22 JAPAO1
23 MALASIA1
24 MARROCOS2
25 PAQUISTAO1
26 PERU1
27 POLONIA2
28 PORTUGAL6
29 REPUBLICA CHECA4
30 RUSSIA11
31 SINGAPURA8
32 SUICA3
33 TAIWAN8
34 UCRANIA2
35 VIETNA1
  Total Geral338
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui