Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático

• Autores: José Antonio Alonso Jiménez, Joaquín Borrego Díaz, Antonia María Chávez González
• 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. 23-32
• Idioma: español
• Enlaces
  • Texto completo