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]

[thumbnail of 5304845233.pdf] 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:
Directors
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