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

  País  Visitas 
ANGOLA11
ARGENTINA4
AUSTRALIA1
AZERBAIJAN2
BANGLADESH1
BELGIUM1
BELIZE1
BRAZIL2260
CAMBODIA1
10 CANADA11
11 CAPE VERDE5
12 CHILE2
13 CHINA160
14 COLOMBIA1
15 CZECH REPUBLIC2
16 ECUADOR9
17 EGYPT1
18 EUROPEAN UNION5
19 FINLAND2
20 FRANCE37
21 GERMANY403
22 GREECE1
23 HONG KONG3
24 HUNGARY1
25 INDIA9
26 INDONESIA1
27 ISRAEL 1
28 ITALY4
29 JAPAN2
30 KENYA3
31 KOREA, REPUBLIC OF1
32 LATVIA1
33 LITHUANIA2
34 MEXICO36
35 MOZAMBIQUE16
36 NAMIBIA1
37 NETHERLANDS9
38 NORWAY2
39 PAKISTAN29
40 PARAGUAY3
41 PERU12
42 POLAND2
43 PORTUGAL136
44 RUSSIAN FEDERATION57
45 RWANDA1
46 SATELLITE ACCESS HOST2
47 SAUDI ARABIA1
48 SERBIA5
49 SINGAPORE15
50 SOUTH AFRICA3
51 SPAIN1
52 SWEDEN27
53 SWITZERLAND38
54 UKRAINE52
55 UNIDENTIFIED COUNTRY3
56 UNITED KINGDOM4
57 UNITED STATES1389
58 VENEZUELA4
59 VIET NAM10
  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