Proyecto de I+D

Proyecto PR48/01-9901

IMPLEMENTACION DE RESTRICCIONES DE DOMINIOS FINITOS EN UN LENGUAJE LOGICO FUNCIONAL.

Financiador: Universidad Complutense de Madrid

Duración del 01 de octubre de 2001 al 30 de diciembre de 2002 (15 meses) Finalizó

3.215,40 EUR

De ámbito Local.

Convocatoria: (Universidad Complutense de Madrid)

Programa: PROYECTOS DE INVESTIGACION. UCM 2001

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

Responsable