Partager Facebook LinkedIn Bluesky Threads Copier le lien Flux RSS Actualités Actualités Rechercher Trier du plus récent au plus ancien du plus récent au plus ancien du plus ancien au plus récent par pertinence 2 actualités Filtres Date de publication Date de publication Du Au Appliquer Catégories Catégories Communiqué de presse (1) Enseignements (2) Chaires Chaires Rechercher un professeur ou une chaire Thierry Coquand (2024 - aujourd'hui) Domaines d'enseignement Domaines d'enseignement Mathématiques et sciences informatiques (2) Filtres actifs Thierry Coquand (2024 - aujourd'hui) Trier du plus récent au plus ancien du plus récent au plus ancien du plus ancien au plus récent par pertinence La théorie des types, de Russell aux assistants à la démonstration Thierry Coquand, chaire Informatique et sciences numériques Publié le 27 février 2025 Construire des preuves mathématiques Thierry Coquand, chaire Informatique et sciences numériques Publié le 10 février 2025
La théorie des types, de Russell aux assistants à la démonstration Thierry Coquand, chaire Informatique et sciences numériques Publié le 27 février 2025
Construire des preuves mathématiques Thierry Coquand, chaire Informatique et sciences numériques Publié le 10 février 2025
