ALCOLEA BANEGAS, J. Razonamientos no rigurosos y demostraciones asistidas por ordenador. Contrastes. Revista Internacional de Filosofía, [S. l.], v. 12, 2007. DOI: 10.24310/Contrastescontrastes.v12i0.1432. Disponível em: https://revistas.uma.es/index.php/contrastes/article/view/1432. Acesso em: 9 abr. 2025.