Aplicación del algebra computacional a la verificación y extracción de consecuencias en bases de conocimiento

Tesis doctoral de Diaz Valderrama Ana M. La tesis presenta una aplicación de las bases de grí¶bner a la construcción […]

, , , , ,