Revista: | Ingeniería y ciencia |
Base de datos: | PERIÓDICA |
Número de sistema: | 000323134 |
ISSN: | 1794-9165 |
Autors: | Sierra, Manuel1 |
Institucions: | 1Universidad EAFIT, Grupo en Lógica y Computación, Medellín, Antioquia. Colombia |
Any: | 2008 |
Període: | Dic |
Volum: | 4 |
Número: | 8 |
Paginació: | 175-202 |
País: | Colombia |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Teórico, descriptivo |
Disciplines | Matemáticas |
Paraules clau: | 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 | |