Projecte d'investigació
PB96-0098-C04-03
CONTROL DE CALIDAD EN VERIFICACION Y DEDUCCION EN BASES DE CONOCIMIENTO CON TECNICAS DE ALGEBRA COMPUTACIONAL.
date_range
Duració del 01 de d’octubre de 1997 al 01 de d’octubre de 2000
(36 mesos)
Investigadors/es
EUGENIO
ROANES LOZANO
Responsable