Export Ready — 

Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença

Bibliographic Details
Publication Date: 2015
Format: Master thesis
Source: Portal de Dados Abertos da CAPES
Download full: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3351500
id BRCRIS_e21b8c522bd49f732931f3c5619c36b8
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
title Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
spellingShingle Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Provadores de Teoremas, Tableaux, Verificação Formal, Lógicas Epistêmicas, Lógicas de Crença, Lógicas Temporais, Lógica Modal.
Automated Theorem-Proving, Tableaux, Formal Verification, Epistemic Logics, Logics of Belief, Temporal Logics, Modal Logic.
title_short Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
title_full Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
title_fullStr Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
title_full_unstemmed Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
title_sort Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
topic Provadores de Teoremas, Tableaux, Verificação Formal, Lógicas Epistêmicas, Lógicas de Crença, Lógicas Temporais, Lógica Modal.
Automated Theorem-Proving, Tableaux, Formal Verification, Epistemic Logics, Logics of Belief, Temporal Logics, Modal Logic.
publishDate 2015
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3351500
author_role author
dc.contributor.advisor1.fl_str_mv CLAUDIA NALON
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/7793795625581127
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000-0002-9792-5346
dc.publisher.none.fl_str_mv UNIVERSIDADE DE BRASÍLIA
publisher.none.fl_str_mv UNIVERSIDADE DE BRASÍLIA
instname_str UNIVERSIDADE DE BRASÍLIA
dc.publisher.program.fl_str_mv INFORMÁTICA
dc.description.course.none.fl_txt_mv INFORMÁTICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUm provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crençaUm provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crençaUm provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crençaUm provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crençaUm provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crençaUm provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crençaUm provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crençaProvadores de Teoremas, Tableaux, Verificação Formal, Lógicas Epistêmicas, Lógicas de Crença, Lógicas Temporais, Lógica Modal.2015masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3351500authorCLAUDIA NALONhttp://lattes.cnpq.br/7793795625581127https://orcid.org/0000-0002-9792-5346UNIVERSIDADE DE BRASÍLIAUNIVERSIDADE DE BRASÍLIAUNIVERSIDADE DE BRASÍLIAINFORMÁTICAINFORMÁTICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
_version_ 1741889017172983808

Similar Items