Proyecto de I+D
Proiektua 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.
Finantzatzailea:
Ministerio de Educación y Ciencia
date_range
Iraupena 2000(e)ko abendua-(a)k 28-(e)tik 2003(e)ko abendua-(a)k 27-(e)ra izan da
(36 months)
Amaitu
euro
18.030,36 EUR
Herrialde-arlokoak. Norgehiagoka-aren araubidean eman da.
Deialdi:
(Ministerio de Educación y Ciencia)
Azpiprograma:
Migración de Proyectos GUAI (desde 2000)