Proyecto de I+D

Projekt PR48/01-9901

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

Finanzier: Universidad Complutense de Madrid

Dauer von 01 von Oktober von 2001 bis 30 von Dezember von 2002 (15 Monate) Fertig

3.215,40 EUR

Geltungsbereich Lokal.

Bekanntmachung: (Universidad Complutense de Madrid)

Programm: PROYECTOS DE INVESTIGACION. UCM 2001

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

Verantwortlich