75277Réécriture basée sur Coq : vers une théorie des catégories appliquée exécutable [En savoir plus]CoREACT - ANR-22-CE48-0015
AAPG2022 - 2022

Voir les documents associés 

Exporter

• Export XML
• Export RDF