Equipe-projet PICUBE Les assistants à la démonstration au cœur du raisonnement mathématique Les assistants à la démonstration au cœur du raisonnement mathématique
Centre(s) inria Centre Inria de Paris En partenariat avec CNRS,Université Paris Cité Publications HALRapport d'activité Contacts Paul-Andre Mellies Responsable de l'équipe Meriem Guemair Assistant(e) de l'équipe Diana Marino Duarte Assistant(e) de l'équipe Découvrez les autres équipes qui travaillent sur le même thème
