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

  País  Visitas 
ARGENTINA1
ARMENIA1
AUSTRALIA3
AUSTRIA2
BANGLADESH2
BELGIUM4
BRAZIL139
CANADA1
CHINA84
10 COLOMBIA1
11 CZECH REPUBLIC4
12 ECUADOR2
13 FINLAND2
14 FRANCE7
15 GERMANY14
16 GREECE1
17 GUATEMALA1
18 HONDURAS1
19 HONG KONG6
20 INDIA3
21 INDONESIA9
22 IRAN, ISLAMIC REPUBLIC OF1
23 IRAQ1
24 IRELAND1
25 ITALY1
26 JAMAICA1
27 JAPAN7
28 KOREA, REPUBLIC OF13
29 LATVIA1
30 MALAYSIA3
31 MEXICO1
32 MOROCCO2
33 NETHERLANDS3
34 OMAN1
35 PAKISTAN1
36 PERU1
37 PHILIPPINES4
38 POLAND9
39 PORTUGAL7
40 RUSSIAN FEDERATION12
41 SINGAPORE10
42 SOUTH AFRICA1
43 SWEDEN1
44 SWITZERLAND10
45 TAIWAN9
46 THAILAND1
47 TOGO1
48 TRINIDAD AND TOBAGO2
49 TURKEY1
50 UKRAINE2
51 UNIDENTIFIED COUNTRY1
52 UNITED KINGDOM8
53 UNITED STATES141
54 VENEZUELA1
55 VIET NAM7
  Total Geral554
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui