Tesis de grado Relación entre condición corporal al parto y porcentaje de preñez en Aberdeen Angus Autor(es): Bonasso Sierra, Luis Ignacio - Costa Ferres, Rodrigo
Fecha de publicación: 2021
Institución: Universidad de la República

Reporte técnico Formalizing alternating-time temporal logic in the coq proof assistant Autor(es): Luna, Carlos - Sierra, Luis - Zanarini, Dante
Fecha de publicación: 2014
Institución: Universidad de la República
Otros Autores: “…Sierra, Luis…”