Examinando por Autor "Montoya-Zapata, Diego Alejandro"
Mostrando 1 - 1 de 1
Resultados por página
Opciones de ordenación
Ítem Proof Reconstruction: Parsing Proofs(Universidad EAFIT, 2015-06-10) Montoya-Zapata, Diego Alejandro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Montoya-Zapata, Diego Alejandro (dmonto39@eafit.edu.co)