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 ...)