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

  País  Visitas 
ALBANIA1
ALGERIA 1
ANGOLA11
ARGENTINA10
AUSTRALIA2
AZERBAIJAN3
BANGLADESH4
BELGIUM1
BELIZE1
10 BRAZIL2356
11 CAMBODIA1
12 CANADA12
13 CAPE VERDE5
14 CHILE3
15 CHINA198
16 COLOMBIA7
17 COSTA RICA1
18 CZECH REPUBLIC2
19 ECUADOR14
20 EGYPT1
21 EUROPEAN UNION5
22 FINLAND2
23 FRANCE41
24 GERMANY407
25 GREECE1
26 HONG KONG3
27 HUNGARY1
28 INDIA11
29 INDONESIA2
30 IRAQ3
31 ISRAEL 1
32 ITALY4
33 JAPAN6
34 KENYA3
35 KOREA, REPUBLIC OF7
36 KUWAIT1
37 LATVIA2
38 LITHUANIA2
39 MEXICO39
40 MOLDOVA, REPUBLIC OF1
41 MOROCCO2
42 MOZAMBIQUE16
43 NAMIBIA1
44 NEPAL1
45 NETHERLANDS10
46 NORWAY2
47 PAKISTAN32
48 PARAGUAY4
49 PERU13
50 POLAND2
51 PORTUGAL136
52 RUSSIAN FEDERATION66
53 RWANDA1
54 SATELLITE ACCESS HOST2
55 SAUDI ARABIA2
56 SERBIA5
57 SINGAPORE31
58 SLOVAKIA1
59 SOUTH AFRICA4
60 SPAIN1
61 SWEDEN28
62 SWITZERLAND39
63 TRINIDAD AND TOBAGO3
64 TUNISIA2
65 TURKEY5
66 UKRAINE54
67 UNIDENTIFIED COUNTRY4
68 UNITED KINGDOM6
69 UNITED STATES1481
70 UZBEKISTAN1
71 VENEZUELA5
72 VIET NAM54
  Total Geral5190
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui