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

  País  Visitas 
ARGENTINA1
AUSTRALIA3
AUSTRIA2
BANGLADESH2
BELGIUM3
BRAZIL101
CANADA1
CHINA71
CZECH REPUBLIC4
10 ECUADOR2
11 FINLAND2
12 FRANCE3
13 GERMANY12
14 GUATEMALA1
15 HONG KONG6
16 INDIA1
17 INDONESIA9
18 IRAN, ISLAMIC REPUBLIC OF1
19 IRELAND1
20 ITALY1
21 JAMAICA1
22 JAPAN2
23 KOREA, REPUBLIC OF6
24 LATVIA1
25 MALAYSIA1
26 MOROCCO2
27 NETHERLANDS2
28 OMAN1
29 PAKISTAN1
30 PERU1
31 PHILIPPINES4
32 POLAND3
33 PORTUGAL7
34 RUSSIAN FEDERATION11
35 SINGAPORE8
36 SWITZERLAND3
37 TAIWAN8
38 TOGO1
39 TRINIDAD AND TOBAGO2
40 TURKEY1
41 UKRAINE2
42 UNIDENTIFIED COUNTRY1
43 UNITED KINGDOM4
44 UNITED STATES108
45 VENEZUELA1
46 VIET NAM2
  Total Geral411
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui