On the correction of faulty formulae



Título del documento: On the correction of faulty formulae
Revista: Computación y sistemas
Base de datos: PERIÓDICA
Número de sistema: 000183297
ISSN: 1405-5546
Autores: 1
2
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:
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
Nota: El envío del documento tiene costo.









Los documentos originales pueden ser consultados en el Departamento de Información y Servicios Documentales, ubicado en el Anexo de la Dirección General de Bibliotecas (DGB), circuito de la Investigación Científica a un costado del Auditorio Nabor Carrillo, zona de Institutos entre Física y Astronomía. Ciudad Universitaria UNAM. Ver mapa
Mayores informes: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964, e-mail: sinfo@dgb.unam.mx, Horario: Lunes a viernes (8 a 16 hrs.)