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

Duración del 28 de diciembre de 2000 al 27 de diciembre de 2003 (36 meses) Finalizó

18.030,36 EUR

De ámbito Local.

Convocatoria: (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