$$\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: 5508 Tipo de Acesso: PÚBLICO
Título: UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: CHRISTIAN JACQUES RENTERIA
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: PPG EM INFORMÁTICA
Título Outorgado: DOUTOR EM CIÊNCIAS - INFORMÁTICA
Área: PROGRAMAÇÃO E TEORIA DA COMPUTAÇÃO
Catalogação: 23/09/2004 Defesa: 05/04/2004 Língua: PORTUGUÊS - BRASIL Países: 40 Visitas: 3138 Partições: 10

  País  Visitas 
AFRICA DO SUL1
ALEMANHA63
ANGOLA4
ARABIA SAUDITA2
ARGENTINA17
AUSTRALIA4
BELGICA10
BRASIL683
CANADA18
10 CHINA259
11 COLOMBIA1
12 COSTA RICA2
13 EGITO1
14 ESPANHA13
15 ESTADOS UNIDOS1664
16 ESTONIA1
17 FRANCA86
18 GRA-BRETANHA2
19 HOLANDA6
20 HONG KONG 5
21 HUNGRIA2
22 INDIA8
23 IRA, REPUBLICA ISLAMICA DO1
24 ITALIA12
25 JAPAO1
26 MOCAMBIQUE11
27 NORUEGA1
28 PAIS NAO IDENTIFICADO26
29 PERU2
30 POLONIA2
31 PORTUGAL27
32 REPUBLICA CHECA2
33 RUSSIA70
34 SERVIA1
35 SINGAPURA9
36 SUECIA16
37 SUICA93
38 UCRANIA1
39 UNIAO EUROPEIA9
40 VIETNA2
  Total Geral3138
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