Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch de
CORDIS - Forschungsergebnisse der EU
CORDIS
Inhalt archiviert am 2024-05-21

Formal development of computer algebra in type theory

Wissenschaftliches Gebiet (EuroSciVoc)

Programm/Programme

Thema/Themen

Daten nicht verfügbar

Aufforderung zur Vorschlagseinreichung

Daten nicht verfügbar

Finanzierungsplan

RGI - Research grants (individual fellowships)

Koordinator

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA
EU-Beitrag
Keine Daten
Adresse
Route des Lucioles 2004
06902 SOPHIA ANTIPOLIS
Frankreich
Gesamtkosten
Keine Daten