Revista: | Revista digital universitaria |
Base de datos: | PERIÓDICA |
Número de sistema: | 000212601 |
ISSN: | 1607-6079 |
Autores: | Laureano Cruces, Ana Lilia1 Barceló Aspeitia, Axel Arturo2 |
Instituciones: | 1Universidad Autónoma Metropolitana, Departamento de Sistemas, Azcapotzalco, Distrito Federal. México 2Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas, México, Distrito Federal. México |
Año: | 2003 |
Periodo: | Mar |
Volumen: | 4 |
Número: | 1 |
País: | México |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Filosofía, Ciencias de la computación, Matemáticas |
Palabras clave: | Lógica, Inteligencia artificial, Matemáticas aplicadas, Lógica modal, Análisis de tareas, Sistemas complejos, Lenguaje formal |
Keyword: | Philosophy, Computer science, Mathematics, Logic, Artificial intelligence, Applied mathematics, Modal logic, Task analysis, Complex systems, Formal language |
Texto completo: | Texto completo (Ver HTML) |