Éric Domenjoud

发表

Outils pour la déduction automatique dans les théories associative-commutatives

Éric Domenjoud, 1991 .

Project-Team modbio Modèles Informatiques en Biologie Moléculaire

Éric Domenjoud, Sophie Drouot Inria, 2021 .