$$\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: PUBLIC
Título: A LABELLED NATURAL DEDUCTION LOGICAL FRAMEWORK
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: BRUNO CUCONATO CLARO
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 27/11/2023 Defesa: 15/09/2023 Língua: ENGLISH - UNITED STATES Países: 37 Visitas: 415 Partições: 1

  País  Visitas 
ARGENTINA1
AUSTRALIA3
BELARUS1
BELGIUM1
BRAZIL70
CANADA1
CHINA28
CZECH REPUBLIC6
FINLAND1
10 FRANCE14
11 GERMANY19
12 HONDURAS1
13 HONG KONG14
14 INDIA7
15 INDONESIA1
16 IRAN, ISLAMIC REPUBLIC OF3
17 IRAQ2
18 KAZAKHSTAN1
19 KENYA1
20 LITHUANIA1
21 MEXICO1
22 MOROCCO1
23 NETHERLANDS4
24 PHILIPPINES1
25 PORTUGAL1
26 ROMANIA2
27 RUSSIAN FEDERATION15
28 SINGAPORE19
29 SPAIN1
30 SWEDEN4
31 SWITZERLAND1
32 THAILAND1
33 UKRAINE3
34 UNITED ARAB EMIRATES 1
35 UNITED KINGDOM8
36 UNITED STATES170
37 URUGUAY6
  Total Geral415
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui