Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados

Bibliographic Details
Main Author: Badenes, Hernán
Other Authors: Martínez López, Pablo E.
Language:es
Published: 2008
Subjects:
Online Access:http://hdl.handle.net/10915/3893
http://sedici.unlp.edu.ar/handle/10915/3893