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: 9840 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: 9840 Partições: 11
País | Visitas | |
1 | ALGERIA | 1 |
2 | ANGOLA | 48 |
3 | ARGENTINA | 7 |
4 | ARMENIA | 2 |
5 | AUSTRIA | 1 |
6 | BELGIUM | 1 |
7 | BELIZE | 1 |
8 | BRAZIL | 6256 |
9 | CANADA | 8 |
10 | CAPE VERDE | 4 |
11 | CHILE | 4 |
12 | CHINA | 323 |
13 | COLOMBIA | 6 |
14 | CYPRUS | 1 |
15 | CZECH REPUBLIC | 20 |
16 | DENMARK | 3 |
17 | DOMINICAN REPUBLIC | 2 |
18 | EUROPEAN UNION | 5 |
19 | FINLAND | 76 |
20 | FRANCE | 118 |
21 | GERMANY | 234 |
22 | GREECE | 1 |
23 | HONDURAS | 1 |
24 | HUNGARY | 1 |
25 | INDIA | 4 |
26 | INDONESIA | 6 |
27 | IRAN, ISLAMIC REPUBLIC OF | 2 |
28 | IRELAND | 2 |
29 | ISRAEL | 1 |
30 | ITALY | 8 |
31 | JAPAN | 31 |
32 | KOREA, REPUBLIC OF | 2 |
33 | LATVIA | 1 |
34 | LUXEMBOURG | 2 |
35 | MEXICO | 3 |
36 | MOLDOVA, REPUBLIC OF | 1 |
37 | MOROCCO | 3 |
38 | MOZAMBIQUE | 12 |
39 | NAMIBIA | 1 |
40 | NETHERLANDS | 6 |
41 | NIGERIA | 1 |
42 | NORWAY | 1 |
43 | PAKISTAN | 44 |
44 | PERU | 5 |
45 | PORTUGAL | 311 |
46 | RUSSIAN FEDERATION | 77 |
47 | SATELLITE ACCESS HOST | 7 |
48 | SINGAPORE | 7 |
49 | SLOVAKIA | 3 |
50 | SOUTH AFRICA | 3 |
51 | SPAIN | 9 |
52 | SWEDEN | 5 |
53 | SWITZERLAND | 1 |
54 | THAILAND | 3 |
55 | TURKEY | 14 |
56 | UKRAINE | 5 |
57 | UNIDENTIFIED COUNTRY | 21 |
58 | UNITED KINGDOM | 18 |
59 | UNITED STATES | 2091 |
60 | VENEZUELA | 2 |
61 | VIET NAM | 3 |
Total Geral | 9840 |