| Revista: | Computación y sistemas |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000161217 |
| ISSN: | 1405-5546 |
| Autores: | Negrete, Santiago1 |
| Instituciones: | 1Instituto Tecnológico y de Estudios Superiores de Monterrey, Departamento de Computación, Cuernavaca, Morelos. México |
| Año: | 1998-1999 |
| Periodo: | Oct-Mar |
| Volumen: | 2 |
| Número: | 2-3 |
| Paginación: | 126-139 |
| País: | México |
| Idioma: | Inglés |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico |
| Disciplinas: | Ciencias de la computación, Matemáticas |
| Palabras clave: | 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 | |
