$$\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: 5443 Tipo de Acesso: PUBLIC
Título: EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: GEIZA MARIA HAMAZAKI DA SILVA
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: DOCTOR IN COMPUTER SCIENCE
Área: PROGRAMMING AND SCIENCE COMPUTER THEORY
Catalogação: 10/09/2004 Defesa: 26/03/2004 Língua: PORTUGUESE - BRAZIL Países: 30 Visitas: 2905 Partições: 8

  País  Visitas 
ARGENTINA15
AUSTRALIA2
BELARUS1
BELGIUM1
BRAZIL511
CHINA191
COLOMBIA14
CZECH REPUBLIC7
EUROPEAN UNION3
10 FINLAND2
11 FRANCE45
12 GERMANY75
13 HONG KONG5
14 INDIA1
15 IRAN, ISLAMIC REPUBLIC OF2
16 JAPAN1
17 KOREA, REPUBLIC OF1
18 MALAYSIA1
19 MEXICO2
20 MOZAMBIQUE10
21 PORTUGAL13
22 RUSSIAN FEDERATION33
23 SATELLITE ACCESS HOST1
24 SINGAPORE32
25 SWEDEN10
26 SWITZERLAND77
27 TURKEY8
28 UNIDENTIFIED COUNTRY9
29 UNITED STATES1829
30 VIET NAM3
  Total Geral2905
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