$$\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 Língua: ENGLISH - UNITED STATES Países: 37 Visitas: 1075 Partições: 8

  País  Visitas 
AUSTRALIA2
AUSTRIA2
BELGIUM4
BRAZIL120
CANADA12
CHINA44
CZECH REPUBLIC20
FINLAND3
FRANCE71
10 GERMANY167
11 HONG KONG4
12 HUNGARY1
13 INDIA2
14 IRAQ1
15 IRELAND6
16 ITALY2
17 JAPAN2
18 KOREA, REPUBLIC OF3
19 LATVIA1
20 LITHUANIA4
21 LUXEMBOURG1
22 NETHERLANDS4
23 NEW ZEALAND2
24 POLAND4
25 PORTUGAL3
26 QATAR1
27 RUSSIAN FEDERATION44
28 SEYCHELLES1
29 SINGAPORE12
30 SPAIN3
31 SWEDEN4
32 SWITZERLAND16
33 THAILAND2
34 UKRAINE1
35 UNIDENTIFIED COUNTRY1
36 UNITED KINGDOM7
37 UNITED STATES498
  Total Geral1075
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