Buscar por Autor Ponzio, Pablo Daniel
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | ???itemlist.dc.creator.*??? | ???itemlist.dc.provenance??? |
|---|---|---|---|
| 13-jun-2014 | Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT | Ponzio, Pablo Daniel | Facultad de Ciencias Exactas y Naturales de la UBA |