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

  País  Visitas 
AFRICA DO SUL2
ALEMANHA15
ARGENTINA1
ARMENIA1
AUSTRALIA3
AUSTRIA 2
BANGLADESH2
BELGICA4
BRASIL144
10 CANADA1
11 CHINA86
12 COLOMBIA1
13 COREIA, REPUBLICA DA14
14 EQUADOR2
15 ESTADOS UNIDOS170
16 FILIPINAS4
17 FINLANDIA2
18 FRANCA7
19 GRA-BRETANHA9
20 GRECIA1
21 GUATEMALA 1
22 HOLANDA3
23 HONDURAS 1
24 HONG KONG 8
25 INDIA3
26 INDONESIA9
27 IRA, REPUBLICA ISLAMICA DO1
28 IRAQUE1
29 IRLANDA1
30 ITALIA1
31 JAMAICA1
32 JAPAO7
33 LETONIA1
34 MALASIA3
35 MARROCOS2
36 MAURICIO13
37 MEXICO1
38 OMA1
39 PAIS NAO IDENTIFICADO2
40 PAQUISTAO2
41 PERU1
42 POLONIA9
43 PORTUGAL7
44 REPUBLICA CHECA4
45 RUSSIA12
46 SEICHELES14
47 SINGAPURA13
48 SUECIA1
49 SUICA10
50 TAILANDIA1
51 TAIWAN9
52 TOGO1
53 TRINIDADE E TOBAGO2
54 TURQUIA1
55 UCRANIA2
56 VENEZUELA1
57 VIETNA7
  Total Geral628
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui