Ma recherche | Inria

Affiner votre recherche GALLINETTE

Domaines applicatifs

Thèmes scientifiques

Centres Inria associés

Ecosystème Inria

Institution Inria

Mots clés

Poste

Trier par

Trier par

Par pertinence
Du plus récent au plus ancien

1 résultats pour "GALLINETTE"

GALLINETTE

Gallinette : vers une nouvelle génération d'assistant à la preuve

L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...