Revista: | Computación y sistemas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000161217 |
ISSN: | 1405-5546 |
Autors: | Negrete, Santiago1 |
Institucions: | 1Instituto Tecnológico y de Estudios Superiores de Monterrey, Departamento de Computación, Cuernavaca, Morelos. México |
Any: | 1998-1999 |
Període: | Oct-Mar |
Volum: | 2 |
Número: | 2-3 |
Paginació: | 126-139 |
País: | México |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplines | Ciencias de la computación, Matemáticas |
Paraules clau: | Inteligencia artificial, Matemáticas aplicadas, Matemáticas puras, Demostración de teoremas, Marcos lógicos, Reglas de reescritura, Deducción natural |
Keyword: | Computer science, Mathematics, Artificial intelligence, Applied mathematics, Pure mathematics, Theorem proofs, Logical frameworks, Rewriting rules, Natural deduction |
Solicitud del documento | |