$$\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: 56122 Tipo de Acesso: PUBLIC
Título: SYSTEMS FOR PROVABILITY AND COUNTERMODEL GENERATION IN PROPOSITIONAL MINIMAL IMPLICATIONAL LOGIC
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: JEFFERSON DE BARROS SANTOS
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
GILLES DOWEK - Coorientador

Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 23/11/2021 Defesa: 18/05/2017 Idioma(s): ENGLISH - UNITED STATES Países: 19 Visitas: 110 Partições: 1

  País  Visitas 
BELARUS1
BELGIUM2
BRAZIL5
CHINA9
COLOMBIA6
CZECH REPUBLIC1
FRANCE1
GERMANY5
INDIA2
10 IRELAND1
11 NETHERLANDS2
12 POLAND1
13 REUNION1
14 RUSSIAN FEDERATION2
15 SINGAPORE5
16 SWEDEN1
17 UNIDENTIFIED COUNTRY6
18 UNITED KINGDOM1
19 UNITED STATES58
  Total Geral110
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