$$\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: 47127 Tipo de Acesso: PÚBLICO
Título: A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: BERNARDO PINTO DE ALKMIM
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
ALEXANDRE RADEMAKER - Coorientador

Curso: PPG EM INFORMÁTICA
Título Outorgado: MESTRE EM INFORMÁTICA
Área: TEORIA DA COMPUTAÇÃO
Catalogação: 19/03/2020 Defesa: 11/03/2019 Língua: PORTUGUÊS - BRASIL Países: 29 Visitas: 401 Partições: 1

  País  Visitas 
ALEMANHA23
BANGLADESH1
BRASIL129
CAMBODIA1
CANADA1
CHILE1
CHINA54
COREIA, REPUBLICA DA4
DINAMARCA1
10 ESTADOS UNIDOS127
11 FINLANDIA2
12 FRANCA9
13 GRA-BRETANHA1
14 HOLANDA1
15 HONG KONG 1
16 INDONESIA4
17 IRLANDA1
18 MALASIA1
19 PAIS NAO IDENTIFICADO1
20 PORTUGAL6
21 REPUBLICA CHECA8
22 ROMENIA4
23 RUSSIA11
24 SINGAPURA1
25 SUECIA1
26 SUICA3
27 TAIWAN1
28 TURQUIA2
29 VIETNA1
  Total Geral401
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