Forschungsprojekt
TIC2000-1368-C03-03
APLICACIONES DEL CALCULO SIMBOLICO EN RAZONAMIENTO AUTOMATICO Y EN EL DESARROLLO Y VERIFICACION TEORICA Y PRACTICA DE SISTEMAS EXPERTOS. GESTION DE TRAFICO FERROVIARIO Y DE EDIFICIOS INTELIGENTES.
date_range
Dauer von 28 von Dezember von 2000 bis 27 von Dezember von 2003
(36 Monate)
Forscher/innen
EUGENIO
ROANES LOZANO
Verantwortlich