TY  - BOOK
AU  - Badenes,Hernán
AU  - Martínez López,Pablo Ernesto
AU  - Baum,Gabriel Alfredo
TI  - Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
PY  - 2003///
KW  - PROGRAMACIÓN AUTOMÁTICA
N1  -  Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2003
ER  -