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