Apprentissage Raisonnement Calcul Axiomatisation Décision Estimation
Publications
Membres
Soutenances
Projets
Évènements
Logiciels
Emplois
en
Vers l’apprentissage adaptatif à l’aide de représentations invariantes
December 13, 2021
January 20, 2025
Next post
Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C