$$\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: 10018 Tipo de Acesso: PÚBLICO
Título: COMPACTAÇÃO DE PROVAS LÓGICAS
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: VASTON GONCALVES DA COSTA
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: PPG EM INFORMÁTICA
Título Outorgado: DOUTOR EM CIÊNCIAS - INFORMÁTICA
Área: TEORIA DA COMPUTAÇÃO
Catalogação: 01/06/2007 Defesa: 09/04/2007 Idioma(s): PORTUGUÊS - BRASIL Países: 50 Visitas: 4530 Partições: 7

  País  Visitas 
ACESSO VIA SATELITE2
ALEMANHA398
ANGOLA11
ARABIA SAUDITA1
ARGENTINA1
AZERBAIJAO2
BELGICA1
BELIZE1
BRASIL2242
10 CABO VERDE5
11 CANADA4
12 CHILE1
13 CHINA158
14 EQUADOR9
15 ESPANHA1
16 ESTADOS UNIDOS1254
17 FINLANDIA1
18 FRANCA35
19 GRA-BRETANHA3
20 GRECIA1
21 HOLANDA8
22 HUNGRIA1
23 INDIA4
24 INDONESIA1
25 ISRAEL1
26 ITALIA4
27 JAPAO2
28 LETONIA1
29 LITUANIA2
30 MEXICO36
31 MOCAMBIQUE13
32 NAMIBIA1
33 NORUEGA2
34 PAIS NAO IDENTIFICADO3
35 PAQUISTAO28
36 PARAGUAI2
37 PERU12
38 POLONIA2
39 PORTUGAL136
40 QUENIA3
41 REPUBLICA CHECA2
42 RUANDA1
43 RUSSIA35
44 SERVIA5
45 SINGAPURA9
46 SUECIA20
47 UCRANIA52
48 UNIAO EUROPEIA5
49 VENEZUELA3
50 VIETNA5
  Total Geral4530
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