Un interprete de tempura
Document title: Un interprete de tempura
Journal: Reportes de desarrollo - Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas. UNAM
Database: PERIÓDICA
System number: 000001207
Authors: 1
Institutions: 1Universidad Nacional Autónoma de México, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, México, Distrito Federal. México
Year:
Season: Jul
Volumen: 3
Number: 8
Pages: 1-1
Country: México
Language: Español
Document type: Artículo
Approach: Teórico
Disciplines: Filosofía,
Ciencias de la computación,
Matemáticas
Keyword: Lógica,
Matemáticas puras,
Logica temporal,
Lógica matemática,
Lenguajes de programación,
Programas concurrentes
Keyword: Philosophy,
Computer science,
Mathematics,
Logic,
Pure mathematics,
Temporal logic,
Mathematical logic,
Concurrent programs,
Programming languages
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).