36820Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve. [En savoir plus]IMPEX - ANR-13-INSE-0001
INS - 2013

Voir les documents associés 

Exporter

• Export XML
• Export RDF