$$\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: 4533 Partições: 7

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