Completude automática de lógicas finitas multivaloradas.

Detalhes bibliográficos
Data de Publicação: 2010
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_27c3903d72d97d824060df04b0c81f61
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Completude automática de lógicas finitas multivaloradas.
title Completude automática de lógicas finitas multivaloradas.
spellingShingle Completude automática de lógicas finitas multivaloradas.
title_short Completude automática de lógicas finitas multivaloradas.
title_full Completude automática de lógicas finitas multivaloradas.
title_fullStr Completude automática de lógicas finitas multivaloradas.
Completude automática de lógicas finitas multivaloradas.
title_full_unstemmed Completude automática de lógicas finitas multivaloradas.
Completude automática de lógicas finitas multivaloradas.
title_sort Completude automática de lógicas finitas multivaloradas.
publishDate 2010
format doctoralThesis
author_role author
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE UBERLÂNDIA
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE UBERLÂNDIA
instname_str UNIVERSIDADE FEDERAL DE UBERLÂNDIA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESCompletude automática de lógicas finitas multivaloradas.Completude automática de lógicas finitas multivaloradas.Completude automática de lógicas finitas multivaloradas.Completude automática de lógicas finitas multivaloradas.Completude automática de lógicas finitas multivaloradas.Completude automática de lógicas finitas multivaloradas.Completude automática de lógicas finitas multivaloradas.2010doctoralThesisauthorUNIVERSIDADE FEDERAL DE UBERLÂNDIAUNIVERSIDADE FEDERAL DE UBERLÂNDIAUNIVERSIDADE FEDERAL DE UBERLÂNDIAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
_version_ 1741886688192364544