Mostrando 1 - 3 resultados de 3 para la búsqueda [ Severi, Paula ] Filtros
  1. 1
    Reporte técnico Internal program extraction in the calculus of inductive constructions Severi, Paula - Szasz, Nora
    2002
    Universidad de la República
  2. 2
    Reporte técnico An operational approach to program extraction in the Calculus of Constructions Fernández, Maribel - Severi, Paula
    2002
    Universidad de la República
    Otros Autores: “…Severi, Paula…”
  3. 3
    Artículo Unifying multilevel modelling through ontologies Rohrer, Edelweis - Severi, Paula - Motz, Regina
    2018
    Universidad de la República
    Otros Autores: “…Severi, Paula…”