Laboratoire Méthodes Formelles (LMF)
… CNRS Inria Université Paris-Saclay https://scanr.enseignementsup-recherche.gouv.fr/structure/202123712M Documents … of topological spaces with no infinite discrete subspace Jean Goubault-Larrecq 01/01/2024 Topology and its … Son ambition est d’éclairer le « monde numérique » grâce à la logique mathématique en utilisant les méthodes …Article publié le: