$$\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: PÚBLICO
Título: UMA ABORDAGEM EXPERIMENTAL SOBRE A COMPRESSÃO DE PROVAS EM DEDUÇÃO NATURAL MINIMAL IMPLICACIONAL
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: PPG EM INFORMÁTICA
Título Outorgado: MESTRE EM INFORMÁTICA
Área: TEORIA DA COMPUTAÇÃO
Catalogação: 26/03/2020 Defesa: 26/04/2019 Língua: PORTUGUÊS - BRASIL Países: 23 Visitas: 289 Partições: 1

  País  Visitas 
ALEMANHA10
ARGELIA1
ARGENTINA1
BRASIL96
CANADA1
CHINA30
COREIA, REPUBLICA DA4
EGITO1
ESPANHA1
10 ESTADOS UNIDOS107
11 FILIPINAS1
12 FINLANDIA1
13 FRANCA8
14 GRA-BRETANHA2
15 HONG KONG 2
16 INDIA1
17 IRLANDA1
18 MEXICO1
19 PAIS NAO IDENTIFICADO1
20 PORTUGAL1
21 RUSSIA7
22 SINGAPURA5
23 SUICA6
  Total Geral289
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui