Fiche d'un projet ANR

 42093DÉfis pour la Logique, les Transducteurs et les Automates [En savoir plus]DELTA - ANR-16-CE40-0007
AAPG2016 - 2016