MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
Autor(a) principal: | |
---|---|
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 |