Return to Article Details Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas Download Download PDF