Universidad Complutense de Madrid
E-Prints Complutense

Una lógica no estandar admisible para programas funcionales

Impacto

Downloads

Downloads per month over past year



Gil Luezas, Ana (2015) Una lógica no estandar admisible para programas funcionales. [Thesis]

[img] PDF
3MB




Item Type:Thesis
Additional Information:

Tesis de la Universidad Complutense de Madrid,Facultad de Ciencias Matemáticas, Departamento de Informática y Automática, leída en Madrid el 3 de febrero de 1990; Dirigida por Teresa Hortalá González.

Directors:
DirectorsDirector email
Hortalá González, María Teresa
Uncontrolled Keywords:Análisis matemático no standard.; Programación lógica.
Subjects:Sciences > Mathematics
ID Code:52002
Deposited On:12 Mar 2019 12:49
Last Modified:12 Mar 2019 12:49

Origin of downloads

Repository Staff Only: item control page