Portrait de chercheur ou chercheuse, Recherche
Gilles Dowek : au carrefour de l’informatique, de la logique et de la philosophie
… au sein du Laboratoire des méthodes formelles (LMF – Univ. Paris-Saclay/CNRS/ENS Paris-Saclay/CentraleSupélec/INRIA) , et enseignant à …Article publié le: