FP5Индивидуална стипендия2001–2003
Formal development of computer algebra in type theory
5РП — Човешки потенциал в науката
- Период
- 2001-11-01 → 2003-10-31
- Финансиране от ЕС
- 118 400 €
- Участници
- 1
- Схема
- RGI
Линиите свързват координатора с партньорите.
Участници
- INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA · SOPHIA ANTIPOLISКоординаторФранция
Връзки
Данни: CORDIS, © Европейски съюз