Proyecto de I+D

Project 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.

Funder: Ministerio de Educación y Ciencia

Duration: from 28 December 2000 to 27 December 2003 (36 months) Finished

18,030.36 EUR

Of Local scope. It has been granted under a regime of Competitive.

Call: (Ministerio de Educación y Ciencia)

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

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

Leader