Journal: | Ingeniería y ciencia |
Database: | PERIÓDICA |
System number: | 000323134 |
ISSN: | 1794-9165 |
Authors: | Sierra, Manuel1 |
Institutions: | 1Universidad EAFIT, Grupo en Lógica y Computación, Medellín, Antioquia. Colombia |
Year: | 2008 |
Season: | Dic |
Volumen: | 4 |
Number: | 8 |
Pages: | 175-202 |
Country: | Colombia |
Language: | Español |
Document type: | Artículo |
Approach: | Teórico, descriptivo |
Disciplines: | Matemáticas |
Keyword: | Matemáticas puras, Lógica, Razonadores, Lenguaje con restricciones, Sistemas multimodales, Restricciones |
Keyword: | Mathematics, Pure mathematics, Logic, Reasoners, Restricted language, Logic, Restrictions |
Document request | |