Proyecto de I+D

Proyecto PB96-0098-C04-03

CONTROL DE CALIDAD EN VERIFICACION Y DEDUCCION EN BASES DE CONOCIMIENTO CON TECNICAS DE ALGEBRA COMPUTACIONAL.

Financiador: Ministerio de Educación y Ciencia

Duración del 01 de octubre de 1997 al 01 de octubre de 2000 (36 meses) Finalizó

13.582,87 EUR

De ámbito Local.

Convocatoria: (Ministerio de Educación y Ciencia)

Programa: PROYECTOS DE INVESTIGACION. DGES 96 (PROGRAMA SECTORIAL DE PROMOCION GENE RAL DEL CONOCIMIENTO)

Subprograma: Migración de Proyectos GUAI (hasta 1999)

Responsable