Buscar por Autor Steren, Gabriela
Mostrando resultados 1 a 1 de 1
Fecha de publicación | Título | ???itemlist.dc.creator.*??? | ???itemlist.dc.provenance??? |
---|---|---|---|
15-dic-2014 | Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas | Steren, Gabriela | Facultad de Ciencias Exactas y Naturales de la UBA |