XINFORMAÇÕ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.
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
Visitas
<< voltar
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
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 | |
| 1 | AUSTRALIA | 1 |
| 2 | AUSTRIA | 2 |
| 3 | BANGLADESH | 2 |
| 4 | BELGIUM | 3 |
| 5 | BRAZIL | 69 |
| 6 | CANADA | 1 |
| 7 | CHINA | 66 |
| 8 | CZECH REPUBLIC | 4 |
| 9 | FINLAND | 2 |
| 10 | FRANCE | 3 |
| 11 | GERMANY | 12 |
| 12 | HONG KONG | 6 |
| 13 | INDIA | 1 |
| 14 | INDONESIA | 9 |
| 15 | IRAN, ISLAMIC REPUBLIC OF | 1 |
| 16 | ITALY | 1 |
| 17 | JAMAICA | 1 |
| 18 | JAPAN | 1 |
| 19 | KOREA, REPUBLIC OF | 5 |
| 20 | MALAYSIA | 1 |
| 21 | MOROCCO | 2 |
| 22 | NETHERLANDS | 1 |
| 23 | PAKISTAN | 1 |
| 24 | PERU | 1 |
| 25 | PHILIPPINES | 4 |
| 26 | POLAND | 2 |
| 27 | PORTUGAL | 6 |
| 28 | RUSSIAN FEDERATION | 11 |
| 29 | SINGAPORE | 8 |
| 30 | SWITZERLAND | 3 |
| 31 | TAIWAN | 8 |
| 32 | UKRAINE | 2 |
| 33 | UNITED KINGDOM | 4 |
| 34 | UNITED STATES | 93 |
| 35 | VIET NAM | 1 |
| Total Geral | 338 |





