MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES

Detalhes bibliográficos
Autor(a) principal: Carla Amor Divino Moreira Delgado
Data de Publicação: 2007
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_57e3ba5ff5f11918062c5df2c0171ccb
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
title MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
spellingShingle MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
Carla Amor Divino Moreira Delgado
title_short MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
title_full MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
title_fullStr MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
title_full_unstemmed MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
title_sort MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
publishDate 2007
format doctoralThesis
author_role author
author Carla Amor Divino Moreira Delgado
author_facet Carla Amor Divino Moreira Delgado
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/3831909651244142
dc.contributor.advisor1.fl_str_mv MARIO ROBERTO FOLHADELA BENEVIDES
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/7279612728721005
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000000214811942
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
instname_str UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESMODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTESMODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTESMODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTESMODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTESMODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTESMODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTESMODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES2007doctoralThesisauthorCarla Amor Divino Moreira Delgadohttp://lattes.cnpq.br/3831909651244142MARIO ROBERTO FOLHADELA BENEVIDEShttp://lattes.cnpq.br/7279612728721005https://orcid.org/0000000214811942UNIVERSIDADE FEDERAL DO RIO DE JANEIROUNIVERSIDADE FEDERAL DO RIO DE JANEIROUNIVERSIDADE FEDERAL DO RIO DE JANEIROPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Delgado, Carla Amor Divino Moreira. MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES. 2007. Tese.
dc.identifier.citation.fl_str_mv Delgado, Carla Amor Divino Moreira. MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES. 2007. Tese.
_version_ 1741884467292667904