$$\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: 52 Visitas: 516 Partições: 1

  País  Visitas 
AFRICA DO SUL1
ALEMANHA13
ARGENTINA1
AUSTRALIA3
AUSTRIA 2
BANGLADESH2
BELGICA4
BRASIL132
CANADA1
10 CHINA82
11 COREIA, REPUBLICA DA12
12 EQUADOR2
13 ESTADOS UNIDOS126
14 FILIPINAS4
15 FINLANDIA2
16 FRANCA7
17 GRA-BRETANHA7
18 GUATEMALA 1
19 HOLANDA3
20 HONDURAS 1
21 HONG KONG 6
22 INDIA3
23 INDONESIA9
24 IRA, REPUBLICA ISLAMICA DO1
25 IRAQUE1
26 IRLANDA1
27 ITALIA1
28 JAMAICA1
29 JAPAO5
30 LETONIA1
31 MALASIA2
32 MARROCOS2
33 MEXICO1
34 OMA1
35 PAIS NAO IDENTIFICADO1
36 PAQUISTAO1
37 PERU1
38 POLONIA9
39 PORTUGAL7
40 REPUBLICA CHECA4
41 RUSSIA11
42 SINGAPURA9
43 SUECIA1
44 SUICA9
45 TAILANDIA1
46 TAIWAN9
47 TOGO1
48 TRINIDADE E TOBAGO2
49 TURQUIA1
50 UCRANIA2
51 VENEZUELA1
52 VIETNA5
  Total Geral516
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui