Formalización del razonamiento ecuacional en una lógica computacional

• Autores: José Antonio Alonso Jiménez, María José Hidalgo Doblado, Francisco Jesús Martín Mateos, José Luis Ruiz Reina
• Localización: Actas del Encuentro de Matemáticos Andaluces / coord. por Emilio Briales Morales, Alfonso Carriazo Rubio, Tomás Chacón Rebollo, Pedro Real Jurado, Alvaro Romero Jiménez, Vol. 2, 2001 (Comunicaciones), ISBN 84-472-0290-9, págs. 41-50
• Idioma: español
• Texto completo no disponible (Saber más ...)