Fundamentos logicos del programa de razonamiento automatico Otter
| Autor principal: | |
|---|---|
| Otras Contribuciones: | |
| Formato: | Tesis de maestría |
| Lenguaje: | Español |
| Publicado: |
1999
|
| Materias: | |
| Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000272882 http://132.248.9.195/pd1999/272882/Index.html |
| _version_ | 1777516302685962240 |
|---|---|
| author | Miranda Perea, Favio Ezequiel |
| author2 | Amor Montaño, Jose Alfredo |
| author2_role | Asesor |
| author_facet | Amor Montaño, Jose Alfredo Miranda Perea, Favio Ezequiel |
| author_sort | Miranda Perea, Favio Ezequiel |
| collection | DSpace |
| dc:degree.department | Facultad de Ciencias |
| dc:degree.department_facet | Facultad de Ciencias |
| dc:degree.grantor | Universidad Nacional Autónoma de México |
| dc:degree.level | Maestría |
| dc:degree.name | Maestría en Ciencias (Matemáticas) |
| dc:degree.name_facet | Maestría en Ciencias (Matemáticas) |
| dc:rights | http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones |
| format | Tesis de maestría |
| id | 20.500.14330-TES01000272882 |
| institution | Universidad Nacional Autónoma de México |
| language | Español |
| publishDate | 1999 |
| record_format | dspace |
| spelling | 20.500.14330-TES010002728822021-05-16T16:25:53Z Fundamentos logicos del programa de razonamiento automatico Otter Miranda Perea, Favio Ezequiel Amor Montaño, Jose Alfredo Ciencias Físico-Matemáticas e Ingenierías Razonamiento 1999 Tesis de maestría publishedVersion https://hdl.handle.net/20.500.14330/TES01000272882 http://132.248.9.195/pd1999/272882/Index.html 001-00365-M2-1999-1 spa http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones MX https://tesiunam.dgb.unam.mx/F?func=direct¤t_base=TES01&doc_number=000272882 Maestría en Ciencias (Matemáticas) Universidad Nacional Autónoma de México Facultad de Ciencias Maestría |
| spellingShingle | Ciencias Físico-Matemáticas e Ingenierías Razonamiento Miranda Perea, Favio Ezequiel Fundamentos logicos del programa de razonamiento automatico Otter |
| title | Fundamentos logicos del programa de razonamiento automatico Otter |
| title_full | Fundamentos logicos del programa de razonamiento automatico Otter |
| title_fullStr | Fundamentos logicos del programa de razonamiento automatico Otter |
| title_full_unstemmed | Fundamentos logicos del programa de razonamiento automatico Otter |
| title_short | Fundamentos logicos del programa de razonamiento automatico Otter |
| title_sort | fundamentos logicos del programa de razonamiento automatico otter |
| topic | Ciencias Físico-Matemáticas e Ingenierías Razonamiento |
| url | https://hdl.handle.net/20.500.14330/TES01000272882 http://132.248.9.195/pd1999/272882/Index.html |
| work_keys_str_mv | AT mirandapereafavioezequiel fundamentoslogicosdelprogramaderazonamientoautomaticootter |