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

  País  Visitas 
AFRICA DO SUL1
ALEMANHA12
ARGENTINA1
AUSTRALIA3
AUSTRIA 2
BANGLADESH2
BELGICA3
BRASIL121
CANADA1
10 CHINA73
11 COREIA, REPUBLICA DA10
12 EQUADOR2
13 ESTADOS UNIDOS111
14 FILIPINAS4
15 FINLANDIA2
16 FRANCA3
17 GRA-BRETANHA4
18 GUATEMALA 1
19 HOLANDA3
20 HONDURAS 1
21 HONG KONG 6
22 INDIA2
23 INDONESIA9
24 IRA, REPUBLICA ISLAMICA DO1
25 IRLANDA1
26 ITALIA1
27 JAMAICA1
28 JAPAO2
29 LETONIA1
30 MALASIA1
31 MARROCOS2
32 MEXICO1
33 OMA1
34 PAIS NAO IDENTIFICADO1
35 PAQUISTAO1
36 PERU1
37 POLONIA5
38 PORTUGAL7
39 REPUBLICA CHECA4
40 RUSSIA11
41 SINGAPURA8
42 SUICA3
43 TAIWAN8
44 TOGO1
45 TRINIDADE E TOBAGO2
46 TURQUIA1
47 UCRANIA2
48 VENEZUELA1
49 VIETNA3
  Total Geral448
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui