$$\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: 29093 Tipo de Acesso: PUBLIC
Título: A GRAPH BASED THEOREM PROVING PLATFORM WITH STRATEGIES
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: BRUNO SCHROEDER
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: MASTER IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Catalogação: 09/02/2017 Defesa: 13/08/2008 Idioma(s): ENGLISH - UNITED STATES Países: 32 Visitas: 851 Partições: 8

  País  Visitas 
AUSTRALIA1
AUSTRIA2
BELGIUM4
BRAZIL112
CANADA11
CHINA40
CZECH REPUBLIC20
FINLAND3
FRANCE62
10 GERMANY166
11 HUNGARY1
12 IRELAND6
13 ITALY2
14 KOREA, REPUBLIC OF3
15 LATVIA1
16 LITHUANIA4
17 LUXEMBOURG1
18 NETHERLANDS3
19 NEW ZEALAND1
20 POLAND3
21 PORTUGAL3
22 QATAR1
23 RUSSIAN FEDERATION8
24 SEYCHELLES1
25 SINGAPORE6
26 SPAIN3
27 SWEDEN4
28 THAILAND2
29 UKRAINE1
30 UNIDENTIFIED COUNTRY1
31 UNITED KINGDOM5
32 UNITED STATES370
  Total Geral851
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