Proxecto 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 do 01 de outubro de 1997 ao 01 de outubro de 2000
(36 meses)
Investigadores/as
EUGENIO
ROANES LOZANO
Responsable