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

  País  Visitas 
ACESSO VIA SATELITE2
AFRICA DO SUL3
ALEMANHA403
ANGOLA11
ARABIA SAUDITA1
ARGENTINA4
AUSTRALIA1
AZERBAIJAO2
BANGLADESH1
10 BELGICA1
11 BELIZE1
12 BRASIL2260
13 CABO VERDE5
14 CAMBODIA1
15 CANADA11
16 CHILE2
17 CHINA160
18 COLOMBIA1
19 COREIA, REPUBLICA DA1
20 EGITO1
21 EQUADOR9
22 ESPANHA1
23 ESTADOS UNIDOS1389
24 FINLANDIA2
25 FRANCA37
26 GRA-BRETANHA4
27 GRECIA1
28 HOLANDA9
29 HONG KONG 3
30 HUNGRIA1
31 INDIA9
32 INDONESIA1
33 ISRAEL1
34 ITALIA4
35 JAPAO2
36 LETONIA1
37 LITUANIA2
38 MEXICO36
39 MOCAMBIQUE16
40 NAMIBIA1
41 NORUEGA2
42 PAIS NAO IDENTIFICADO3
43 PAQUISTAO29
44 PARAGUAI3
45 PERU12
46 POLONIA2
47 PORTUGAL136
48 QUENIA3
49 REPUBLICA CHECA2
50 RUANDA1
51 RUSSIA57
52 SERVIA5
53 SINGAPURA15
54 SUECIA27
55 SUICA38
56 UCRANIA52
57 UNIAO EUROPEIA5
58 VENEZUELA4
59 VIETNA10
  Total Geral4807
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui