Auteurs Structures Domaines Revues Projets ANR Projets européens

Consultation des revues

Ce module vous permet de consulter la liste des revues.
 
ind titre issn editeur ACTIONS
53354 Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings Springer