Examinando por Materia "asistente de pruebas"
Mostrando 1 - 1 de 1
Resultados por página
Opciones de ordenación
Publicación Hacia la formalización del razonamiento ecuacional sobre mónadas(Universidad EAFIT, 2013-05) Lobo Vesga, Elisabet; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Elisabet Lobo Vesga (elobove@eafit.edu.co)