$$\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: 55 Visitas: 5107 Partições: 8

  País  Visitas 
AFRICA DO SUL5
ALEMANHA57
ANGOLA101
ARABIA SAUDITA1
ARGELIA1
ARGENTINA20
AUSTRALIA2
BANGLADESH3
BRASIL3361
10 BULGARIA2
11 CABO VERDE3
12 CANADA13
13 CHILE2
14 CHINA216
15 COLOMBIA2
16 EQUADOR1
17 ESTADOS UNIDOS819
18 FILIPINAS1
19 FINLANDIA7
20 FRANCA81
21 GRA-BRETANHA8
22 HOLANDA12
23 HONG KONG 7
24 INDIA4
25 INDONESIA3
26 IRLANDA4
27 ITALIA2
28 JAPAO1
29 LETONIA1
30 LITUANIA1
31 MALASIA1
32 MEXICO2
33 MOCAMBIQUE38
34 NORUEGA2
35 PAIS NAO IDENTIFICADO51
36 PANAMA5
37 PAQUISTAO2
38 PERU3
39 POLONIA4
40 PORTO RICO1
41 PORTUGAL84
42 REGIAO ASIA PACIFICO5
43 REPUBLICA CHECA5
44 ROMENIA4
45 RUSSIA56
46 SERVIA2
47 SINGAPURA15
48 SUECIA32
49 SUICA29
50 TIMOR-LESTE3
51 TURQUIA1
52 UCRANIA5
53 UNIAO EUROPEIA13
54 URUGUAI2
55 VIETNA1
  Total Geral5107
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui
    Senha Maxwell, clique aqui