127Assister Automatiquement les Assistants de Preuve Avec des Traces [En savoir plus]A3PAT - ANR-05-BLAN-0146
BLANC - 2005

Voir les documents associés 

Exporter

• Export XML
• Export RDF