Fiche d'un projet ANR

 43828Traduction et Découverte des Calculs pour les logiques Modales et dérivées [En savoir plus]TICAMORE - ANR-16-CE91-0002
AAPG2016 - 2016