Razonamiento automático

• Autores: José Antonio Alonso Jiménez , Alejandro Fernández Margarit , Mario de Jesús Pérez Jiménez
• Localización: Lógica formal: Orígenes, métodos y aplicaciones / coord. por Ángel Nepomuceno Fernández , 1995, ISBN 84-88620-56-X, págs. 189-211
• Idioma: español
• Texto completo no disponible (Saber más ...)