Use el DOI o este identificador para enlazar este recurso:
https://hdl.handle.net/20.500.14330/TES01000190372| Clasificación : | 001-03063-C1-1993-1M |
| Sustentante: | Carrillo Barajas, Miguel |
| Asesor(es) : | Bracho Carpizo, Felipe |
| Título : | Logica temporal y computacion |
| Fecha de publicación : | 1993 |
| Páginas: | 1 recurso en lÃnea (páginas en varias paginaciones) |
| Formato: | application/pdf |
| Medio: | computadora |
| Soporte: | recurso en línea |
| Grado : | Maestría en Ciencias de la Computación |
| Escuela o Facultad : | Colegio de Ciencias y Humanidades Unidad Académica de los Ciclos Profesional y de Posgrado |
| Institución : | Universidad Nacional Autónoma de México |
| Area del conocimiento : | Ciencias Físico - Matemáticas y de las Ingenierías |
| URI : | https://hdl.handle.net/20.500.14330/TES01000190372 |
| Fuente TESIUNAM: | http://132.248.9.195/pmig2016/0190372/Index.html |
| Aparece en las colecciones: | Tesis de maestría |
Texto completo:
| Archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 000190372.mrc | Registro bibliográfico en formato MARC | 1.31 kB | MARC | Visualizar/Abrir |
| 0190372.pdf | Texto Completo | 2.57 MB | Adobe PDF |  Visualizar/Abrir |
Este recurso está sujeto a una Licencia Creative Commons
