Revista: | Ingeniería y ciencia |
Base de datos: | PERIÓDICA |
Número de sistema: | 000323134 |
ISSN: | 1794-9165 |
Autores: | Sierra, Manuel1 |
Instituciones: | 1Universidad EAFIT, Grupo en Lógica y Computación, Medellín, Antioquia. Colombia |
Año: | 2008 |
Periodo: | Dic |
Volumen: | 4 |
Número: | 8 |
Paginación: | 175-202 |
País: | Colombia |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Teórico, descriptivo |
Disciplinas: | Matemáticas |
Palabras clave: | Matemáticas puras, Lógica, Razonadores, Lenguaje con restricciones, Sistemas multimodales, Restricciones |
Keyword: | Mathematics, Pure mathematics, Logic, Reasoners, Restricted language, Logic, Restrictions |
Solicitud del documento | |