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

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



    * Esqueceu a senha:
    Senha SAU, clique aqui