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





