Proyecto de investigación
PB96-0098-C04-03
CONTROL DE CALIDAD EN VERIFICACION Y DEDUCCION EN BASES DE CONOCIMIENTO CON TECNICAS DE ALGEBRA COMPUTACIONAL.
date_range
Duración del 01 de octubre de 1997 al 01 de octubre de 2000
(36 meses)
Investigadores/as
EUGENIO
ROANES LOZANO
Responsable