Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski pl
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
Zawartość zarchiwizowana w dniu 2024-05-21

Formal development of computer algebra in type theory

Dziedzina nauki (EuroSciVoc)

Program(-y)

Temat(-y)

Brak dostępnych danych

Zaproszenie do składania wniosków

Brak dostępnych danych

System finansowania

RGI - Research grants (individual fellowships)

Koordynator

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA
Wkład UE
Brak danych
Adres
Route des Lucioles 2004
06902 SOPHIA ANTIPOLIS
Francja
Koszt całkowity
Brak danych