Una linea de trabajo en verificación de sistemas basados en conocimiento con técnicas de álgebra computacional

• Autores: Luis María Laita de la Rica, Eugenio Roanes Lozano
• Localización: Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995 / Laureano González Vega (ed. lit.), 1995, págs. 109-112
• Idioma: español
• Texto completo no disponible (Saber más ...)