Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Delgado Muñoz, Agustín Daniel (2010) Avances recientes en análisis estáticos de terminación. Tesis Master's thesis.

Delgado Muñoz, Agustín Daniel and Novillo Vidal, Álvaro and Pérez Morente, Fernando (2009) Implementación de un demostrador automático de teoremas interactivo mediante el método de eliminación de modelos. [Coursework] (Unpublished)

This list was generated on Sat Apr 19 02:30:30 2014 CEST.