Qu'est-ce qu'une question ? (le format) 2/3
Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics
IHP thematic trimester : Semantics of proofs and certified mathematics 25/04/2014
Mathematics
and Interactions
00:00:00 / 00:00:00
Information about the video
- Date of recording 25/04/2014
- Date of publication 07/05/2014
- Institution IHP
- Licence CC BY-NC-ND
- Format MP4
Domain(s)
Last related questions on MathOverflow
You have to connect your Carmin.tv account with mathoverflow to add questionAsk a question on MathOverflow
Register
- Bookmark videos
- Add videos to see later &
keep your browsing history - Comment with the scientific
community - Get notification updates
for your favorite subjects
