Lista de

Asteasuain, Fernando
9
2017
3
Giménez, Francisco Andrés. (2017). "Recuperación de fórmulas culpables mediante análisis de unsat core". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Gleichgerrcht, Nicolás Matías. (2017). "Formalex : mejorando la herramienta para la detección de documentos normativos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Rojek Moriceau, Hernán Carlos. (2017). "Subtipado y compatibilidad en tipos de sesion multipartita". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.