Proxecto de investigación
TIN2009-14704-C03-01
Sistemas eficientes de razonamiento automático con información incompleta e imprecisa basados en SAT y CSP: Diseño e implementación
date_range
Duración do 01 de xaneiro de 2010 ao 31 de decembro de 2013
(48 meses)
Rematado