Research project
PB96-0098-C04-03
CONTROL DE CALIDAD EN VERIFICACION Y DEDUCCION EN BASES DE CONOCIMIENTO CON TECNICAS DE ALGEBRA COMPUTACIONAL.
date_range
Duration: from 01 October 1997 to 01 October 2000
(36 months)
Researchers
EUGENIO
ROANES LOZANO
Leader