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
<< voltar
Número:
10082
Tipo de Acesso:
PUBLIC
Título: FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: DAVI ROMERO DE VASCONCELOS
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 25/06/2007 Defesa: 02/04/2007 Idioma(s): PORTUGUESE - BRAZIL Países: 61 Visitas: 9842 Partições: 11
Título: FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: DAVI ROMERO DE VASCONCELOS
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 25/06/2007 Defesa: 02/04/2007 Idioma(s): PORTUGUESE - BRAZIL Países: 61 Visitas: 9842 Partições: 11
País | Visitas | |
1 | BRAZIL | 6256 |
2 | UNITED STATES | 2093 |
3 | CHINA | 323 |
4 | PORTUGAL | 311 |
5 | GERMANY | 234 |
6 | FRANCE | 118 |
7 | RUSSIAN FEDERATION | 77 |
8 | FINLAND | 76 |
9 | ANGOLA | 48 |
10 | PAKISTAN | 44 |
11 | JAPAN | 31 |
12 | UNIDENTIFIED COUNTRY | 21 |
13 | CZECH REPUBLIC | 20 |
14 | UNITED KINGDOM | 18 |
15 | TURKEY | 14 |
16 | MOZAMBIQUE | 12 |
17 | SPAIN | 9 |
18 | CANADA | 8 |
19 | ITALY | 8 |
20 | ARGENTINA | 7 |
21 | SATELLITE ACCESS HOST | 7 |
22 | SINGAPORE | 7 |
23 | COLOMBIA | 6 |
24 | INDONESIA | 6 |
25 | NETHERLANDS | 6 |
26 | EUROPEAN UNION | 5 |
27 | PERU | 5 |
28 | SWEDEN | 5 |
29 | UKRAINE | 5 |
30 | CAPE VERDE | 4 |
31 | CHILE | 4 |
32 | INDIA | 4 |
33 | DENMARK | 3 |
34 | MEXICO | 3 |
35 | MOROCCO | 3 |
36 | SLOVAKIA | 3 |
37 | SOUTH AFRICA | 3 |
38 | THAILAND | 3 |
39 | VIET NAM | 3 |
40 | ARMENIA | 2 |
41 | DOMINICAN REPUBLIC | 2 |
42 | IRAN, ISLAMIC REPUBLIC OF | 2 |
43 | IRELAND | 2 |
44 | KOREA, REPUBLIC OF | 2 |
45 | LUXEMBOURG | 2 |
46 | VENEZUELA | 2 |
47 | ALGERIA | 1 |
48 | AUSTRIA | 1 |
49 | BELGIUM | 1 |
50 | BELIZE | 1 |
51 | CYPRUS | 1 |
52 | GREECE | 1 |
53 | HONDURAS | 1 |
54 | HUNGARY | 1 |
55 | ISRAEL | 1 |
56 | LATVIA | 1 |
57 | MOLDOVA, REPUBLIC OF | 1 |
58 | NAMIBIA | 1 |
59 | NIGERIA | 1 |
60 | NORWAY | 1 |
61 | SWITZERLAND | 1 |
Total Geral | 9842 |