Proyecto 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 del 01 de enero de 2010 al 31 de diciembre de 2013
(48 meses)
Convocatoria: