Thèse, Base de données
Tien Duc Cao. Vers une vérification automatique des affirmations statistiques. Programming Languages [cs.PL]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLX051⟩. ⟨tel-02437183⟩
Publié le 2 juin 2022
Retour en haut