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

  País  Visitas 
ARGENTINA1
AUSTRALIA3
AUSTRIA2
BANGLADESH2
BELGIUM4
BRAZIL132
CANADA1
CHINA82
CZECH REPUBLIC4
10 ECUADOR2
11 FINLAND2
12 FRANCE6
13 GERMANY13
14 GUATEMALA1
15 HONDURAS1
16 HONG KONG6
17 INDIA3
18 INDONESIA9
19 IRAN, ISLAMIC REPUBLIC OF1
20 IRAQ1
21 IRELAND1
22 ITALY1
23 JAMAICA1
24 JAPAN5
25 KOREA, REPUBLIC OF12
26 LATVIA1
27 MALAYSIA1
28 MEXICO1
29 MOROCCO2
30 NETHERLANDS3
31 OMAN1
32 PAKISTAN1
33 PERU1
34 PHILIPPINES4
35 POLAND9
36 PORTUGAL7
37 RUSSIAN FEDERATION11
38 SINGAPORE9
39 SOUTH AFRICA1
40 SWEDEN1
41 SWITZERLAND9
42 TAIWAN9
43 THAILAND1
44 TOGO1
45 TRINIDAD AND TOBAGO2
46 TURKEY1
47 UKRAINE2
48 UNIDENTIFIED COUNTRY1
49 UNITED KINGDOM7
50 UNITED STATES126
51 VENEZUELA1
52 VIET NAM5
  Total Geral514
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui