115582Raisonnements formellement certifiés en apprentissage automatique [En savoir plus]ForML - ANR-23-CE25-0009AAPG2023 - 2023Voir les documents associés Exporter Export XML Export RDF