dor_id: 3449654

506.#.#.a: Público

502.#.#.a: Licenciatura

650.#.4.x: Ingenierías

336.#.#.b: bachelorThesis

336.#.#.3: Tesis de licenciatura

336.#.#.a: Trabajo de grado

351.#.#.6: http://oreon.dgbiblio.unam.mx/F?RN=993413179

351.#.#.b: TESIUNAM

351.#.#.a: Tesis

harvesting_group: TesiUNAM

270.1.#.p: Dirección General de Bibliotecas, UNAM en http://www.dgb.unam.mx/index.php/quienes-somos/dudas-y-comentarios

590.#.#.c: DSpace

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://ru.dgb.unam.mx/

883.#.#.a: Repositorio de la Dirección General de Bibliotecas y Servicios Digitales de Información

590.#.#.a: Administración central

883.#.#.1: http://dgb.unam.mx/

883.#.#.q: Dirección General de Bibliotecas y Servicios Digitales de Información

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://132.248.9.195/ptd2019/agosto/0792722/0792722_A1.pdf

100.1.#.a: Torres Ruiz, Mateo Alberto

524.#.#.a: Torres Ruiz, Mateo Alberto. (2019). "Verificación formal del cálculo λSF en Coq". (Tesis de Licenciatura). Universidad Nacional Autónoma de México, Facultad de Ingeniería, UNAM. Recuperado de https://repositorio.unam.mx/contenidos/3449654

720.#.#.a: Miranda Perea, Favio Ezequiel

245.1.0.a: Verificación formal del cálculo λSF en Coq

502.#.#.b: Licenciatura en Ingeniería en Computación

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Facultad de Ingeniería, UNAM

264.#.0.c: 2019

264.#.1.c: 2019

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a Torres Ruiz, Mateo Alberto. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, fecha de asignación de la licencia 2019, para un uso diferente consultar al responsable jurídico del repositorio en bidi@dgb.unam.mx

884.#.#.k: https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000792722

041.#.7.h: spa

500.#.#.a: 1 recurso en línea (119 páginas)

046.#.#.j: 2020-05-07 13:00:00.000000

900.#.#.a: oai:ru.dgb.unam.mx:DGB_UNAM/TES01000792722

handle: 602f33ea0a368adc

856.#.0.q: application/pdf

last_modified: 2020-06-22 23:35:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2