MORALES ANGELINO, F.; CUEVAS VALENCIA, R. E.; ALONSO SILVERIO, G. A.; ALARCÓN PAREDES, A.; CATALÁN VILLEGAS, A. Aplicación de WinKE en Deducciones por Métodos Semánticos en Lógica Proposicional. Programación matemática y software, [S. l.], v. 11, n. 3, p. 45–56, 2019. DOI: 10.30973/progmat/2019.11.3/4. Disponível em: https://progmat.uaem.mx/progmat/index.php/progmat/article/view/2019-11-3-04. Acesso em: 14 may. 2024.