Proyecto de I+D

Altres 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

Duració del 28 de de desembre de 2000 al 27 de de desembre de 2003 (36 mesos) Va finalitzar

1.803.036,00 EUR

D'àmbit Local.

Convocatòria: (Ministerio de Educación y Ciencia)

Programa: PROYECTOS DE INVESTIGACION DE LOS PROGRAMAS NACIONALES DE LAS AREAS CIENTIFICO-TECNOLOGICAS E INVESTIG.BASICA NO ORIENTADA.IV PLAN NACIONAL.2000-03.

Subprograma: Migración de Proyectos GUAI (desde 2000)

Responsable