Proyecto de I+D

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

Finanzier: Ministerio de Educación y Ciencia

Dauer von 28 von Dezember von 2000 bis 27 von Dezember von 2003 (36 Monate) Fertig

18.030,36 EUR

Geltungsbereich Lokal.

Bekanntmachung: (Ministerio de Educación y Ciencia)

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

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

Verantwortlich