Forschungsprojekt
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
Dauer von 01 von Januar von 2010 bis 31 von Dezember von 2013
(48 Monate)
Fertig