45625La structure fine des systèmes formels de démonstration et leurs interprétations calculatoires [En savoir plus]FISP - ANR-15-CE25-0014
AAPG2015 - 2015

Voir les documents associés 

Exporter

• Export XML
• Export RDF