Complutense University Library

IndexAuthor

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

Martín Martín, Enrique (2009) Advances in type systems for functional logic programming. [Trabajo Fin de Máster]

Martín Martín, Enrique (2013) Sistemas de tipos en lenguajes lógico-funcionales. [Thesis]

García Soriano, David and Martín Martín, Enrique and Romero Laorden, David (2007) Uso de hardware gráfico para la aceleración de métodos algebraicos de recontrucción. [Coursework] (Unpublished)

This list was generated on Thu Nov 27 03:15:32 2014 CET.