$$\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 Idioma(s): PORTUGUESE - BRAZIL Países: 28 Visitas: 2609 Partições: 8

  País  Visitas 
ARGENTINA15
AUSTRALIA1
BELARUS1
BELGIUM1
BRAZIL495
CHINA190
COLOMBIA14
CZECH REPUBLIC6
EUROPEAN UNION3
10 FRANCE42
11 GERMANY67
12 HONG KONG4
13 IRAN, ISLAMIC REPUBLIC OF2
14 JAPAN1
15 KOREA, REPUBLIC OF1
16 MALAYSIA1
17 MEXICO2
18 MOZAMBIQUE8
19 PORTUGAL10
20 RUSSIAN FEDERATION7
21 SATELLITE ACCESS HOST1
22 SINGAPORE27
23 SWEDEN1
24 SWITZERLAND33
25 TURKEY8
26 UNIDENTIFIED COUNTRY9
27 UNITED STATES1656
28 VIET NAM3
  Total Geral2609
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