$$\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: 69 Visitas: 5049 Partições: 7

  País  Visitas 
ACESSO VIA SATELITE2
AFRICA DO SUL3
ALBANIA1
ALEMANHA403
ANGOLA11
ARABIA SAUDITA1
ARGELIA1
ARGENTINA9
AUSTRALIA1
10 AZERBAIJAO3
11 BANGLADESH3
12 BELGICA1
13 BELIZE1
14 BRASIL2348
15 CABO VERDE5
16 CAMBODIA1
17 CANADA11
18 CHILE2
19 CHINA179
20 COLOMBIA4
21 COREIA, REPUBLICA DA3
22 COSTA RICA1
23 EGITO1
24 EQUADOR14
25 ESPANHA1
26 ESTADOS UNIDOS1425
27 FINLANDIA2
28 FRANCA39
29 GRA-BRETANHA5
30 GRECIA1
31 HOLANDA9
32 HONG KONG 3
33 HUNGRIA1
34 INDIA10
35 INDONESIA1
36 IRAQUE1
37 ISRAEL1
38 ITALIA4
39 JAPAO4
40 LETONIA1
41 LITUANIA2
42 MARROCOS1
43 MEXICO39
44 MOCAMBIQUE16
45 NAMIBIA1
46 NEPAL1
47 NORUEGA2
48 PAIS NAO IDENTIFICADO3
49 PAQUISTAO32
50 PARAGUAI4
51 PERU13
52 POLONIA2
53 PORTUGAL136
54 QUAITE1
55 QUENIA3
56 REPUBLICA CHECA2
57 RUANDA1
58 RUSSIA60
59 SERVIA5
60 SINGAPURA23
61 SUECIA28
62 SUICA38
63 TRINIDADE E TOBAGO2
64 TUNISIA1
65 TURQUIA2
66 UCRANIA53
67 UNIAO EUROPEIA5
68 VENEZUELA4
69 VIETNA52
  Total Geral5049
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui