$$\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: 47267 Tipo de Acesso: PUBLIC
Título: AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: JOSE FLAVIO CAVALCANTE BARROS JUNIOR
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: MASTER IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 26/03/2020 Defesa: 26/04/2019 Língua: PORTUGUESE - BRAZIL Países: 29 Visitas: 313 Partições: 1

  País  Visitas 
ALGERIA 1
ARGENTINA1
BOLIVIA1
BRAZIL97
CANADA1
CHINA33
COLOMBIA1
ECUADOR1
EGYPT2
10 FINLAND1
11 FRANCE10
12 GERMANY11
13 HONDURAS1
14 HONG KONG2
15 INDIA1
16 IRELAND1
17 KOREA, REPUBLIC OF4
18 LITHUANIA1
19 MEXICO1
20 PHILIPPINES1
21 PORTUGAL1
22 RUSSIAN FEDERATION7
23 SINGAPORE5
24 SPAIN1
25 SWITZERLAND6
26 UNIDENTIFIED COUNTRY1
27 UNITED KINGDOM4
28 UNITED STATES115
29 VIET NAM1
  Total Geral313
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui