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

  1. Roanes Lozano, Eugenio
  2. Laita de la Rica, Luis María
Buch:
Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995
  1. González Vega, Laureano (ed. lit.)

Verlag: Departamento de Matemáticas, Estadística y Computación ; Universidad de Cantabria

Datum der Publikation: 1995

Seiten: 109-112

Kongress: Encuentro de Algebra Computacional y Aplicaciones (1. 1995. Santander)

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet