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