Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência

Detalhes bibliográficos
Autor(a) principal: MARCIA CAROLINA MARRA DE OLIVEIRA
Data de Publicação: 2006
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_2c61378fb5c0cc95221a7f00e0bbbe24
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
title Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
spellingShingle Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
MARCIA CAROLINA MARRA DE OLIVEIRA
title_short Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
title_full Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
title_fullStr Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
title_full_unstemmed Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
title_sort Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência
publishDate 2006
format masterThesis
author_role author
author MARCIA CAROLINA MARRA DE OLIVEIRA
author_facet MARCIA CAROLINA MARRA DE OLIVEIRA
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5242821208814737
dc.contributor.advisor1.fl_str_mv Claudionor Nunes Coelho Junior
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8674107427300722
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE MINAS GERAIS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE MINAS GERAIS
instname_str UNIVERSIDADE FEDERAL DE MINAS GERAIS
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUm Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por EquivalênciaUm Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por EquivalênciaUm Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por EquivalênciaUm Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por EquivalênciaUm Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por EquivalênciaUm Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por EquivalênciaUm Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência2006masterThesisauthorMARCIA CAROLINA MARRA DE OLIVEIRAhttp://lattes.cnpq.br/5242821208814737Claudionor Nunes Coelho Juniorhttp://lattes.cnpq.br/8674107427300722UNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv OLIVEIRA, MARCIA CAROLINA MARRA DE. Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência. 2006. Tese.
dc.identifier.citation.fl_str_mv OLIVEIRA, MARCIA CAROLINA MARRA DE. Um Núcleo Inteligente para Processamento Distribuído de Resolvedores SAT em Verificação por Equivalência. 2006. Tese.
_version_ 1741886864401367040

Registros relacionados