Apprentissage Raisonnement Calcul Axiomatisation Décision Estimation

Vers l’apprentissage adaptatif à l’aide de représentations invariantes

Next post
Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C