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
Durada del 28 de de desembre de 2000 al 27 de de desembre de 2003
(36 mesos)
Va acabar
euro
18.030,36 EUR
D'àmbit Local. S'ha atorgat en règim de Concurrència competitiva.
Convocatòria:
(Ministerio de Educación y Ciencia)
Subprograma:
Migración de Proyectos GUAI (desde 2000)