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

  País  Visitas 
ANGOLA11
ARGENTINA3
AUSTRALIA1
AZERBAIJAN2
BANGLADESH1
BELGIUM1
BELIZE1
BRAZIL2252
CAMBODIA1
10 CANADA11
11 CAPE VERDE5
12 CHILE2
13 CHINA160
14 CZECH REPUBLIC2
15 ECUADOR9
16 EGYPT1
17 EUROPEAN UNION5
18 FINLAND2
19 FRANCE37
20 GERMANY402
21 GREECE1
22 HONG KONG2
23 HUNGARY1
24 INDIA8
25 INDONESIA1
26 ISRAEL 1
27 ITALY4
28 JAPAN2
29 KENYA3
30 KOREA, REPUBLIC OF1
31 LATVIA1
32 LITHUANIA2
33 MEXICO36
34 MOZAMBIQUE16
35 NAMIBIA1
36 NETHERLANDS9
37 NORWAY2
38 PAKISTAN28
39 PARAGUAY2
40 PERU12
41 POLAND2
42 PORTUGAL136
43 RUSSIAN FEDERATION57
44 RWANDA1
45 SATELLITE ACCESS HOST2
46 SAUDI ARABIA1
47 SERBIA5
48 SINGAPORE15
49 SOUTH AFRICA2
50 SPAIN1
51 SWEDEN27
52 SWITZERLAND38
53 UKRAINE52
54 UNIDENTIFIED COUNTRY3
55 UNITED KINGDOM4
56 UNITED STATES1388
57 VENEZUELA3
58 VIET NAM7
  Total Geral4786
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui