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

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



    * Esqueceu a senha:
    Senha SAU, clique aqui
    Senha Maxwell, clique aqui