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 Publications HALRapport d'activitéSite Web Contacts Lutz Strassburger Responsable de l'équipe Michael Barbosa Assistant(e) de l'équipe Dans l'actualité Algorithmes et informatique quantiques Les Tours de Hanoï : un problème classique de récursion Culture & Société Le nombre Pi est partout Histoire du numérique Un réseau élastique ? Communication / Événement © MESR Fête de la Science 2024 : programme Inria 26/09/2024 Startups @pixabay Détecter les sons qui annoncent la perte d'autonomie 13/06/2022 Sécurité numérique Quand les terminaux mobiles jouent les mouchards de poche Logiciel Comment maîtriser la complexité des logiciels ? Prix & Distinctions Pl@ntNet, l'atout clé d'un concours ambitieux en forêt amazonienne 28/01/2025 Grâce à ses recherches, les ordinateurs apprennent à voir ! 03/10/2017 André Seznec : défier les lois de l'informatique 03/12/2010 Toute l'actualité de l'équipe-projet Découvrez les autres équipes qui travaillent sur le même thème
