$$\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: 65161 Tipo de Acesso: PÚBLICO
Título: UM FRAMEWORK LÓGICO PARA DEDUÇÃO NATURAL ROTULADA
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: BRUNO CUCONATO CLARO
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: PPG EM INFORMÁTICA
Título Outorgado: DOUTOR EM CIÊNCIAS - INFORMÁTICA
Área: TEORIA DA COMPUTAÇÃO
Catalogação: 27/11/2023 Defesa: 15/09/2023 Língua: INGLÊS - ESTADOS UNIDOS Países: 34 Visitas: 407 Partições: 1

  País  Visitas 
ALEMANHA19
ARGENTINA1
AUSTRALIA3
BELGICA1
BIELORUSSIA1
BRASIL69
CANADA1
CHINA28
EMIRADOS ARABES UNIDOS 1
10 ESPANHA1
11 ESTADOS UNIDOS169
12 FILIPINAS1
13 FINLANDIA1
14 FRANCA14
15 GRA-BRETANHA8
16 HOLANDA4
17 HONDURAS 1
18 HONG KONG 14
19 INDIA6
20 INDONESIA1
21 IRA, REPUBLICA ISLAMICA DO3
22 IRAQUE1
23 LITUANIA1
24 MEXICO1
25 PORTUGAL1
26 REPUBLICA CHECA6
27 ROMENIA2
28 RUSSIA15
29 SINGAPURA19
30 SUECIA4
31 SUICA1
32 TAILANDIA1
33 UCRANIA2
34 URUGUAI6
  Total Geral407
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui