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

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



    * Esqueceu a senha:
    Senha SAU, clique aqui