Proyecto de I+D
Proxecto 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
Convocatoria: (Ministerio de Educación y Ciencia)
date_range
Duración do 28 de decembro de 2000 ao 27 de decembro de 2003
(36 meses)
Rematou
18.030,36 €
De ámbito Local. Outorgouse en réxime de Concorrencia competitiva.
Subprograma:
Migración de Proyectos GUAI (desde 2000)
