dor_id: 203236

506.#.#.a: Público

502.#.#.a: Maestría

650.#.4.x: Físico Matemáticas y Ciencias de la Tierra

336.#.#.b: masterThesis

336.#.#.3: Tesis de maestría

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/pd1999/272882/272882.pdf

100.1.#.a: Miranda Perea, Favio Ezequiel

524.#.#.a: Miranda Perea, Favio Ezequiel. (1999). "Fundamentos logicos del programa de razonamiento automatico Otter". (Tesis de Maestría). Universidad Nacional Autónoma de México, México. Recuperado de https://repositorio.unam.mx/contenidos/203236

720.#.#.a: Amor Montaño, Jose Alfredo, asesor

245.1.0.a: Fundamentos logicos del programa de razonamiento automatico Otter

502.#.#.b: Maestría en Ciencias Matemáticas

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

561.1.#.a: Coordinación General de Estudios de Posgrado, UNAM

264.#.0.c: 1999

264.#.1.c: 1999

307.#.#.a: 2019-01-14

653.#.#.a: Razonamiento

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a Miranda Perea, Favio Ezequiel. 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 1999, 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/TES01000272882

041.#.7.h: spa

handle: 00f234bb00aece11

harvesting_date: 2019-02-19 17:15:00.0

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

Trabajo de grado

Fundamentos logicos del programa de razonamiento automatico Otter

Miranda Perea, Favio Ezequiel

Coordinación General de Estudios de Posgrado, UNAM, Tesis, y cosechado de Repositorio de la Dirección General de Bibliotecas y Servicios Digitales de Información

Licencia de uso

Procedencia del contenido

Cita

Miranda Perea, Favio Ezequiel. (1999). "Fundamentos logicos del programa de razonamiento automatico Otter". (Tesis de Maestría). Universidad Nacional Autónoma de México, México. Recuperado de https://repositorio.unam.mx/contenidos/203236

Descripción del recurso

Autor(es)
Miranda Perea, Favio Ezequiel
Asesor(es)
Amor Montaño, Jose Alfredo, asesor
Tipo
Tesis de maestría
Área del conocimiento
Físico Matemáticas y Ciencias de la Tierra
Título
Fundamentos logicos del programa de razonamiento automatico Otter
Fecha
1999
Grado
Maestría en Ciencias Matemáticas
Tema
Razonamiento

Enlaces