$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕ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.
Estatísticas > Conteúdo - Acesso

Número: 16318 Tipo de Acesso: PÚBLICO
Título: INFRAESTRUTURA PARA PROVADORES INTERATIVOS DE TEOREMAS NA WEB
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: JEFFERSON DE BARROS SANTOS
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: PPG EM INFORMÁTICA
Título Outorgado: MESTRE EM INFORMÁTICA
Área: BANCO DE DADOS
Catalogação: 27/09/2010 Defesa: 24/03/2010 Língua: PORTUGUÊS - BRASIL Países: 59 Visitas: 5497 Partições: 8

  País  Visitas 
AFRICA DO SUL8
ALEMANHA71
ANGOLA101
ARABIA SAUDITA1
ARGELIA1
ARGENTINA21
AUSTRALIA2
BANGLADESH4
BELGICA1
10 BRASIL3443
11 BULGARIA2
12 CABO VERDE3
13 CANADA16
14 CHILE2
15 CHINA248
16 COLOMBIA2
17 COREIA, REPUBLICA DA2
18 EMIRADOS ARABES UNIDOS 5
19 EQUADOR1
20 ESTADOS UNIDOS938
21 FILIPINAS2
22 FINLANDIA7
23 FRANCA89
24 GRA-BRETANHA15
25 HOLANDA20
26 HONG KONG 11
27 INDIA6
28 INDONESIA5
29 IRLANDA5
30 ITALIA2
31 JAPAO3
32 LETONIA2
33 LITUANIA3
34 MALASIA1
35 MEXICO2
36 MOCAMBIQUE38
37 NORUEGA4
38 NOVA ZELANDIA1
39 PAIS NAO IDENTIFICADO56
40 PANAMA5
41 PAQUISTAO2
42 PERU3
43 POLONIA4
44 PORTO RICO1
45 PORTUGAL84
46 REGIAO ASIA PACIFICO5
47 REPUBLICA CHECA6
48 ROMENIA4
49 RUSSIA57
50 SERVIA2
51 SINGAPURA27
52 SUECIA35
53 SUICA87
54 TIMOR-LESTE3
55 TURQUIA1
56 UCRANIA7
57 UNIAO EUROPEIA13
58 URUGUAI2
59 VIETNA5
  Total Geral5497
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui