$$\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: 4336 Tipo de Acesso: PÚBLICO
Título: ANÁLISE DE ESTRATÉGIAS UTILIZANDO VERIFICAÇÃO FORMAL DE MODELOS
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: DAVI ROMERO DE VASCONCELOS
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Curso: PPG EM INFORMÁTICA
Título Outorgado: MESTRE EM INFORMÁTICA
Área: INTELIGÊNCIA ARTIFICIAL
Catalogação: 29/12/2003 Defesa: 25/02/2003 Língua: PORTUGUÊS - BRASIL Países: 43 Visitas: 5372 Partições: 10

  País  Visitas 
AFRICA DO SUL1
ALEMANHA948
ANGOLA2
ARGENTINA26
AUSTRALIA1
AUSTRIA 2
BOLIVIA1
BRASIL1802
CANADA3
10 CHILE6
11 CHINA294
12 COREIA, REPUBLICA DA1
13 ESPANHA21
14 ESTADOS UNIDOS1793
15 FINLANDIA37
16 FRANCA43
17 GEORGIA1
18 GRA-BRETANHA4
19 HOLANDA1
20 HONG KONG 3
21 INDIA3
22 INDONESIA1
23 IRLANDA2
24 ITALIA3
25 JAPAO6
26 LITUANIA1
27 MACAO1
28 MALASIA3
29 MEXICO2
30 MOCAMBIQUE4
31 PANAMA2
32 PARAGUAI1
33 PERU11
34 POLONIA2
35 PORTUGAL50
36 REPUBLICA CHECA7
37 RUSSIA114
38 SINGAPURA12
39 SUECIA3
40 SUICA146
41 TURQUIA1
42 UNIAO EUROPEIA6
43 VIETNA1
  Total Geral5372
Visitas
    << voltar
    Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
    Fechar Janela



    * Esqueceu a senha:
    Senha SAU, clique aqui