$$\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 Língua: PORTUGUÊS - BRASIL Países: 55 Visitas: 4758 Partições: 7

  País  Visitas 
ACESSO VIA SATELITE2
ALEMANHA402
ANGOLA11
ARABIA SAUDITA1
ARGENTINA1
AUSTRALIA1
AZERBAIJAO2
BELGICA1
BELIZE1
10 BRASIL2250
11 CABO VERDE5
12 CAMBODIA1
13 CANADA11
14 CHILE1
15 CHINA160
16 COREIA, REPUBLICA DA1
17 EQUADOR9
18 ESPANHA1
19 ESTADOS UNIDOS1376
20 FINLANDIA2
21 FRANCA36
22 GRA-BRETANHA3
23 GRECIA1
24 HOLANDA9
25 HONG KONG 2
26 HUNGRIA1
27 INDIA6
28 INDONESIA1
29 ISRAEL1
30 ITALIA4
31 JAPAO2
32 LETONIA1
33 LITUANIA2
34 MEXICO36
35 MOCAMBIQUE16
36 NAMIBIA1
37 NORUEGA2
38 PAIS NAO IDENTIFICADO3
39 PAQUISTAO28
40 PARAGUAI2
41 PERU12
42 POLONIA2
43 PORTUGAL136
44 QUENIA3
45 REPUBLICA CHECA2
46 RUANDA1
47 RUSSIA57
48 SERVIA5
49 SINGAPURA14
50 SUECIA27
51 SUICA38
52 UCRANIA52
53 UNIAO EUROPEIA5
54 VENEZUELA3
55 VIETNA5
  Total Geral4758
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