Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano it
CORDIS - Risultati della ricerca dell’UE
CORDIS
Contenuto archiviato il 2024-05-21

Formal development of computer algebra in type theory

Campo scientifico (EuroSciVoc)

Programma(i)

Argomento(i)

Dati non disponibili

Invito a presentare proposte

Dati non disponibili

Meccanismo di finanziamento

RGI - Research grants (individual fellowships)

Coordinatore

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA
Contributo UE
Nessun dato
Indirizzo
Route des Lucioles 2004
06902 SOPHIA ANTIPOLIS
Francia
Costo totale
Nessun dato