Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais

Detalhes bibliográficos
Data de Publicação: 2010
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_8568b5b5fb61daf031a51b76f802632b
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
title Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
spellingShingle Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
title_short Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
title_full Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
title_fullStr Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
title_full_unstemmed Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
title_sort Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
publishDate 2010
format masterThesis
author_role author
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 CAPESResolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionaisResolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionaisResolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionaisResolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionaisResolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionaisResolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionaisResolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais2010masterThesisauthorUNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
_version_ 1741890691164798976

Registros relacionados