Proxecto de investigación
PR219/94-5564
DEMOSTRACION AUTOMATICA PARA PREORDENES BASADA EN METODOS DE TABLEAUX CON VARIABLES LIBRES.
date_range
Duración do 30 de marzo de 1995 ao 15 de decembro de 1996
(21 meses)