Using difference reduction for generic proof search
Document title: Using difference reduction for generic proof search
Journal: Computación y sistemas
Database: PERIÓDICA
System number: 000161217
ISSN: 1405-5546
Authors: 1
Institutions: 1Instituto Tecnológico y de Estudios Superiores de Monterrey, Departamento de Computación, Cuernavaca, Morelos. México
Year:
Season: Oct-Mar
Volumen: 2
Number: 2-3
Pages: 126-139
Country: México
Language: Inglés
Document type: Artículo
Approach: Analítico
Disciplines: Ciencias de la computación,
Matemáticas
Keyword: 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
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).