Projet de recherche
PB96-0098-C04-03
CONTROL DE CALIDAD EN VERIFICACION Y DEDUCCION EN BASES DE CONOCIMIENTO CON TECNICAS DE ALGEBRA COMPUTACIONAL.
date_range
Durée de 01 octobre 1997 à 01 octobre 2000
(36 mois)
Fini
Chercheurs
EUGENIO
ROANES LOZANO
Responsable