Revista: | Computación y sistemas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000183297 |
ISSN: | 1405-5546 |
Autores: | Monroy, Raúl1 Bundy, Alan2 |
Instituciones: | 1Instituto Tecnológico y de Estudios Superiores de Monterrey, Departamento de Ciencias Computacionales, Atizapán, Estado de México. México 2University of Edinburgh, Division of Informatics, Edimburgo. Reino Unido |
Año: | 2001 |
Periodo: | Jul-Sep |
Volumen: | 5 |
Número: | 1 |
Paginación: | 25-37 |
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: | Matemáticas aplicadas, Ciencias computacionales, Abducción, Demostración de teoremas, Síntesis de programas, Planificación de demostraciones |
Keyword: | Computer science, Mathematics, Applied mathematics, Abduction, Theorem demonstration, Program synthesis, Proof planning |
Solicitud del documento | |