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: 55 Visitas: 554 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: 55 Visitas: 554 Partições: 1
| País | Visitas | |
| 1 | ARGENTINA | 1 |
| 2 | ARMENIA | 1 |
| 3 | AUSTRALIA | 3 |
| 4 | AUSTRIA | 2 |
| 5 | BANGLADESH | 2 |
| 6 | BELGIUM | 4 |
| 7 | BRAZIL | 139 |
| 8 | CANADA | 1 |
| 9 | CHINA | 84 |
| 10 | COLOMBIA | 1 |
| 11 | CZECH REPUBLIC | 4 |
| 12 | ECUADOR | 2 |
| 13 | FINLAND | 2 |
| 14 | FRANCE | 7 |
| 15 | GERMANY | 14 |
| 16 | GREECE | 1 |
| 17 | GUATEMALA | 1 |
| 18 | HONDURAS | 1 |
| 19 | HONG KONG | 6 |
| 20 | INDIA | 3 |
| 21 | INDONESIA | 9 |
| 22 | IRAN, ISLAMIC REPUBLIC OF | 1 |
| 23 | IRAQ | 1 |
| 24 | IRELAND | 1 |
| 25 | ITALY | 1 |
| 26 | JAMAICA | 1 |
| 27 | JAPAN | 7 |
| 28 | KOREA, REPUBLIC OF | 13 |
| 29 | LATVIA | 1 |
| 30 | MALAYSIA | 3 |
| 31 | MEXICO | 1 |
| 32 | MOROCCO | 2 |
| 33 | NETHERLANDS | 3 |
| 34 | OMAN | 1 |
| 35 | PAKISTAN | 1 |
| 36 | PERU | 1 |
| 37 | PHILIPPINES | 4 |
| 38 | POLAND | 9 |
| 39 | PORTUGAL | 7 |
| 40 | RUSSIAN FEDERATION | 12 |
| 41 | SINGAPORE | 10 |
| 42 | SOUTH AFRICA | 1 |
| 43 | SWEDEN | 1 |
| 44 | SWITZERLAND | 10 |
| 45 | TAIWAN | 9 |
| 46 | THAILAND | 1 |
| 47 | TOGO | 1 |
| 48 | TRINIDAD AND TOBAGO | 2 |
| 49 | TURKEY | 1 |
| 50 | UKRAINE | 2 |
| 51 | UNIDENTIFIED COUNTRY | 1 |
| 52 | UNITED KINGDOM | 8 |
| 53 | UNITED STATES | 141 |
| 54 | VENEZUELA | 1 |
| 55 | VIET NAM | 7 |
| Total Geral | 554 |





