M2 Parisian Computer Sciences Research Master
… 2 The goal of this master is to train researchers in theoretical computer science based on numerous courses and … University, in the 13th arrondissement of Paris. For more details, see: … logique, démonstration interactive et démonstration automatique, la sémantique des langages de programmation, …Published on: Fri 17/01/2020 - 11:40