Proyecto de I+D
Projet 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.
Financeur:
Ministerio de Educación y Ciencia
date_range
Durée de 28 décembre 2000 à 27 décembre 2003
(36 mois)
Fini
euro
18 030,36 EUR
Sphère Local. Il a été accordé sur une base Compétition compétitive.
Annonce:
(Ministerio de Educación y Ciencia)
Sous-programme:
Migración de Proyectos GUAI (desde 2000)