$$\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: PUBLIC
Título: LOGIC PROOFS COMPACTATION
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: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 01/06/2007 Defesa: 09/04/2007 Língua: PORTUGUESE - BRAZIL Países: 69 Visitas: 5049 Partições: 7

  País  Visitas 
ALBANIA1
ALGERIA 1
ANGOLA11
ARGENTINA9
AUSTRALIA1
AZERBAIJAN3
BANGLADESH3
BELGIUM1
BELIZE1
10 BRAZIL2348
11 CAMBODIA1
12 CANADA11
13 CAPE VERDE5
14 CHILE2
15 CHINA179
16 COLOMBIA4
17 COSTA RICA1
18 CZECH REPUBLIC2
19 ECUADOR14
20 EGYPT1
21 EUROPEAN UNION5
22 FINLAND2
23 FRANCE39
24 GERMANY403
25 GREECE1
26 HONG KONG3
27 HUNGARY1
28 INDIA10
29 INDONESIA1
30 IRAQ1
31 ISRAEL 1
32 ITALY4
33 JAPAN4
34 KENYA3
35 KOREA, REPUBLIC OF3
36 KUWAIT1
37 LATVIA1
38 LITHUANIA2
39 MEXICO39
40 MOROCCO1
41 MOZAMBIQUE16
42 NAMIBIA1
43 NEPAL1
44 NETHERLANDS9
45 NORWAY2
46 PAKISTAN32
47 PARAGUAY4
48 PERU13
49 POLAND2
50 PORTUGAL136
51 RUSSIAN FEDERATION60
52 RWANDA1
53 SATELLITE ACCESS HOST2
54 SAUDI ARABIA1
55 SERBIA5
56 SINGAPORE23
57 SOUTH AFRICA3
58 SPAIN1
59 SWEDEN28
60 SWITZERLAND38
61 TRINIDAD AND TOBAGO2
62 TUNISIA1
63 TURKEY2
64 UKRAINE53
65 UNIDENTIFIED COUNTRY3
66 UNITED KINGDOM5
67 UNITED STATES1425
68 VENEZUELA4
69 VIET NAM52
  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