Disponibilizo o enunciado do Trabalho Prático de Lógica Computacional 2. Clique aqui para baixar o arquivo.
Professor Paulo Nunes
(28) 3552-8763
paulonunes@cca.ufes.br