Calculemus systems for integrated computation and deduction
5РП — Човешки потенциал в науката
- Период
- 2000-09-01 → 2004-08-31
- Финансиране от ЕС
- 1 478 997 €
- Участници
- 9
- Схема
- NET
Линиите свързват координатора с партньорите.
Участници
- SAARLAND UNIVERSITY · SAARBRUECKENКоординаторГермания
- EINDHOVEN UNIVERSITY OF TECHNOLOGY · EINDHOVENНидерландия
- ISTITUTO TRENTINO DI CULTURA · BIENOИталия
- JOHANNES KEPLER UNIVERSITAET LINZ · LINZАвстрия
- UNIVERSITAET KARLSRUHE (TECHNISCHE HOCHSCHULE) · KARLSRUHEГермания
- UNIVERSITY OF BIALYSTOK · BIALYSTOKПолша
- UNIVERSITY OF BIRMINGHAM · BIRMINGHAMОбединеното кралство
- UNIVERSITY OF EDINBURGH · EDINBURGHОбединеното кралство
- UNIVERSITY OF GENOVA · GENOVAИталия
Връзки
Данни: CORDIS, © Европейски съюз