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

  País  Visitas 
AFRICA DO SUL8
ALEMANHA69
ANGOLA101
ARABIA SAUDITA1
ARGELIA1
ARGENTINA21
AUSTRALIA2
BANGLADESH4
BRASIL3421
10 BULGARIA2
11 CABO VERDE3
12 CANADA16
13 CHILE2
14 CHINA242
15 COLOMBIA2
16 COREIA, REPUBLICA DA2
17 EMIRADOS ARABES UNIDOS 5
18 EQUADOR1
19 ESTADOS UNIDOS912
20 FILIPINAS1
21 FINLANDIA7
22 FRANCA88
23 GRA-BRETANHA14
24 HOLANDA19
25 HONG KONG 11
26 INDIA5
27 INDONESIA5
28 IRLANDA4
29 ITALIA2
30 JAPAO3
31 LETONIA1
32 LITUANIA3
33 MALASIA1
34 MEXICO2
35 MOCAMBIQUE38
36 NORUEGA4
37 PAIS NAO IDENTIFICADO56
38 PANAMA5
39 PAQUISTAO2
40 PERU3
41 POLONIA4
42 PORTO RICO1
43 PORTUGAL84
44 REGIAO ASIA PACIFICO5
45 REPUBLICA CHECA6
46 ROMENIA4
47 RUSSIA57
48 SERVIA2
49 SINGAPURA26
50 SUECIA35
51 SUICA34
52 TIMOR-LESTE3
53 TURQUIA1
54 UCRANIA6
55 UNIAO EUROPEIA13
56 URUGUAI2
57 VIETNA2
  Total Geral5374
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui