Ma recherche

Affiner votre recherche DEDUCTEAM

Domaines applicatifs

Thèmes scientifiques

Centres Inria associés

Ecosystème Inria

Institution Inria

Mots clés

Poste

Trier par

1 résultats pour "DEDUCTEAM"

DEDUCTEAM

Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...