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

  País  Visitas 
ALBANIA1
ANGOLA11
ARGENTINA8
AUSTRALIA1
AZERBAIJAN3
BANGLADESH2
BELGIUM1
BELIZE1
BRAZIL2335
10 CAMBODIA1
11 CANADA11
12 CAPE VERDE5
13 CHILE2
14 CHINA164
15 COLOMBIA4
16 CZECH REPUBLIC2
17 ECUADOR12
18 EGYPT1
19 EUROPEAN UNION5
20 FINLAND2
21 FRANCE39
22 GERMANY403
23 GREECE1
24 HONG KONG3
25 HUNGARY1
26 INDIA9
27 INDONESIA1
28 IRAQ1
29 ISRAEL 1
30 ITALY4
31 JAPAN4
32 KENYA3
33 KOREA, REPUBLIC OF3
34 KUWAIT1
35 LATVIA1
36 LITHUANIA2
37 MEXICO38
38 MOROCCO1
39 MOZAMBIQUE16
40 NAMIBIA1
41 NEPAL1
42 NETHERLANDS9
43 NORWAY2
44 PAKISTAN30
45 PARAGUAY4
46 PERU12
47 POLAND2
48 PORTUGAL136
49 RUSSIAN FEDERATION59
50 RWANDA1
51 SATELLITE ACCESS HOST2
52 SAUDI ARABIA1
53 SERBIA5
54 SINGAPORE23
55 SOUTH AFRICA3
56 SPAIN1
57 SWEDEN28
58 SWITZERLAND38
59 TRINIDAD AND TOBAGO1
60 TUNISIA1
61 TURKEY2
62 UKRAINE52
63 UNIDENTIFIED COUNTRY3
64 UNITED KINGDOM5
65 UNITED STATES1404
66 VENEZUELA4
67 VIET NAM51
  Total Geral4985
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui