Aller au contenu principal

L'association
À propos d'Innorama.fr
Contact

Mentions légales
+

Recherche & Développement
Valorisation & Transfert Technologique
Startups & nouveaux produits
Entrepreneuriat & stratégies d’innovation
Politiques de Recherche & Innovation
Usages, société & tendances
Evénements

+

Étiquettes dans Tags

usages startup financement de l'innovation politique d'innovation France sciences du numérique stratégie de développement ingénierie indicateurs valorisation de la recherche robotique transfert technologique sciences de la matière USA R&D investissement stratégie d'innovation santé médecine intelligence artificielle

CGU-Mentions

Mentions légales

Equations: a tool for programming with dependent types

URL :

https://www.inria.fr/centre/paris/agenda/seminaire-gallium56

Date événement:

Lundi, 15 mai 2017

Lieu:

Paris

Innorama © 2013-2024. All Rights Reserved. Powered by Drupal. Build by Alnitaka