Quantum formal methods
De Ross Duncan
Mathématiques
et Interactions
Informations sur la vidéo
- Date de captation 25/05/2021
- Date de publication 17/06/2021
- Institut CIRM
- Licence CC BY NC ND
- Langue Anglais
- Réalisateur(s) Guillaume Hennenfent
- Format MP4
Données de citation
- DOI 10.24350/CIRM.V.19759503
- Citer cette vidéo Duncan, Ross (25/05/2021). Quantum formal methods. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19759503
- URL https://dx.doi.org/10.24350/CIRM.V.19759503
Domaine(s)
Codes MSC
Dernières questions liées sur MathOverflow
Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflowPoser une question sur MathOverflow
Inscrivez-vous
- Mettez des vidéos en favori
- Ajoutez des vidéos à regarder plus tard &
conservez votre historique de consultation - Commentez avec la communauté
scientifique - Recevez des notifications de mise à jour
de vos sujets favoris
