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

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

Argitalpen urtea: 1995

Orrialdeak: 109-112

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

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet