$$\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 Idioma(s): PORTUGUESE - BRAZIL Países: 50 Visitas: 4523 Partições: 7

  País  Visitas 
BRAZIL2242
UNITED STATES1247
GERMANY398
CHINA158
PORTUGAL136
UKRAINE52
MEXICO36
FRANCE35
RUSSIAN FEDERATION35
10 PAKISTAN28
11 SWEDEN20
12 MOZAMBIQUE13
13 PERU12
14 ANGOLA11
15 ECUADOR9
16 SINGAPORE9
17 NETHERLANDS8
18 CAPE VERDE5
19 EUROPEAN UNION5
20 SERBIA5
21 VIET NAM5
22 CANADA4
23 INDIA4
24 ITALY4
25 KENYA3
26 UNIDENTIFIED COUNTRY3
27 UNITED KINGDOM3
28 VENEZUELA3
29 AZERBAIJAN2
30 CZECH REPUBLIC2
31 JAPAN2
32 LITHUANIA2
33 NORWAY2
34 PARAGUAY2
35 POLAND2
36 SATELLITE ACCESS HOST2
37 ARGENTINA1
38 BELGIUM1
39 BELIZE1
40 CHILE1
41 FINLAND1
42 GREECE1
43 HUNGARY1
44 INDONESIA1
45 ISRAEL 1
46 LATVIA1
47 NAMIBIA1
48 RWANDA1
49 SAUDI ARABIA1
50 SPAIN1
  Total Geral4523
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