Auteurs Structures Domaines Revues Projets ANR Projets européens

Consultation des structures de recherche

Ce module vous permet de consulter la liste des structures.
 
ind name sigle typestruct adresse url debut fin ACTIONS
56052 Proof search and reasoning with logic specifications PARSIFAL researchteam 2007-07-01 2019-11-30