Auteurs Structures Domaines Revues Projets ANR Projets européens

Consultation des structures de recherche

Ce module vous permet de consulter la liste des structures.
 
id name sigle typestruct adresse url ACTIONS
395792 Algorithms and Complexity researchteam
107895 Modeling and Verification of Distributed Algorithms and Systems VERIDIS researchteam http://www.inria.fr/equipes/veridis
397675 Automation of Logic researchteam
397684 Computational Logic researchteam

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD