Equipe-projet

PARTOUT

Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
Centre(s) inria
Centre Inria de Saclay
En partenariat avec
CNRS,Institut Polytechnique de Paris

Contacts

Responsable de l'équipe

Michael Barbosa

Assistant(e) de l'équipe

Dans l'actualité