Lista de

Mera, Sergio Fernando
5
2017
2
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.