Ikerketa proiektua
PB96-0098-C04-03
CONTROL DE CALIDAD EN VERIFICACION Y DEDUCCION EN BASES DE CONOCIMIENTO CON TECNICAS DE ALGEBRA COMPUTACIONAL.
date_range
Iraupena 1997(e)ko urria-(a)k 01-(e)tik 2000(e)ko urria-(a)k 01-(e)ra izan da
(36 months)
Ikertzaileak
EUGENIO
ROANES LOZANO
Arduraduna