%0 Thesis
%T Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade
%U http://tede.ufam.edu.br/handle/tede/4495
%I Universidade Federal do Amazonas