$$\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: PUBLIC
Título: LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC
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: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 30/01/2024 Defesa: 25/09/2023 Língua: ENGLISH - UNITED STATES Países: 35 Visitas: 338 Partições: 1

  País  Visitas 
AUSTRALIA1
AUSTRIA2
BANGLADESH2
BELGIUM3
BRAZIL69
CANADA1
CHINA66
CZECH REPUBLIC4
FINLAND2
10 FRANCE3
11 GERMANY12
12 HONG KONG6
13 INDIA1
14 INDONESIA9
15 IRAN, ISLAMIC REPUBLIC OF1
16 ITALY1
17 JAMAICA1
18 JAPAN1
19 KOREA, REPUBLIC OF5
20 MALAYSIA1
21 MOROCCO2
22 NETHERLANDS1
23 PAKISTAN1
24 PERU1
25 PHILIPPINES4
26 POLAND2
27 PORTUGAL6
28 RUSSIAN FEDERATION11
29 SINGAPORE8
30 SWITZERLAND3
31 TAIWAN8
32 UKRAINE2
33 UNITED KINGDOM4
34 UNITED STATES93
35 VIET NAM1
  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