Volver a los detalles del artículo
Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme