Proyecto de I+D
Projecte 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.
Finançador :
Ministerio de Educación y Ciencia
date_range
Duració del 28 de de desembre de 2000 al 27 de de desembre de 2003
(36 mesos)
Va finalitzar
euro
18.030,36 EUR
D'àmbit Local.
Convocatòria:
(Ministerio de Educación y Ciencia)
Subprograma:
Migración de Proyectos GUAI (desde 2000)