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

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

Any de publicació: 1995

Pàgines: 109-112

Congrés: Encuentro de Algebra Computacional y Aplicaciones (1. 1995. Santander)

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet