Qu'est-ce qu'une question ? (le format) 2/3 | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Qu'est-ce qu'une question ? (le format) 2/3

De Jean-Yves Girard

Apparaît dans la collection : 2014 - T2 - Semantics of proofs and certified mathematics

IHP thematic trimester : Semantics of proofs and certified mathematics 25/04/2014

Informations sur la vidéo

Date de captation 25/04/2014
Date de publication 07/05/2014
Institut IHP
Licence CC BY-NC-ND
Format MP4

Domaine(s)

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Copyright Carmin.tv 2026

Donner son avis