Proyecto de I+D
Proyecto 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.
Financiador:
Ministerio de Educación y Ciencia
date_range
Duración del 28 de diciembre de 2000 al 27 de diciembre de 2003
(36 meses)
Finalizó
euro
18.030,36 EUR
De ámbito Local. Se ha otorgado en régimen de Concurrencia competitiva.
Convocatoria:
(Ministerio de Educación y Ciencia)
Subprograma:
Migración de Proyectos GUAI (desde 2000)