$$\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: 29 Visitas: 2634 Partições: 8

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