Lec 21: Correctness, Consistencies and Completenss of Formal Properties
Lec 21: Exactitude, Cohérences et Complétude des Propriétés Formelles
★
★
★
★
☆
4/5
Catalogue de tuit
Notes de synthèse d'analyses vidéo, évaluées et condensées, en français et en anglais.
44 154 tuit
·
904 chaînes
·
42 domaines
·
Mise à jour : 9 sept. 2026
Agriculture & Alimentation
121
Archéologie
120
Arts & Architecture
1241
Astronomie & Cosmologie
3425
Automatique & Robotique
337
Biologie
1876
Chimie
310
Climat & Écologie
883
Développement Personnel
536
Droit & Justice
502
Économie & Finance
3013
Éducation
648
Énergie
1174
Exploration Spatiale
843
Géopolitique & Défense
484
Histoire
615
IA — Actualité & Applications
1742
IA — Modèles & Recherche
3725
IA & Société
844
Informatique & Cybersécurité
3213
Ingénierie & Technologies
2969
Jeux Vidéo
778
Langues & Linguistique
268
Littérature & Récits
790
Loisirs & Pratique
272
Mathématiques
1974
Médecine & Santé
2625
Médias & Information
255
Neurosciences
390
Paléontologie
61
Philosophie & Éthique
736
Physique
2905
Politique & Institutions
586
Prospective & Science-Fiction
340
Psychologie
468
Religion & Croyances
228
Sciences — Généralités & Histoire
1460
Sciences De La Terre & Géographie
231
Société & Culture
890
Sports
79
Transports & Mobilité
128
Urbanisme & Mobilité
69
JNK
Administration et organisation de l’éducation
20
JPP
Administration publique
25
KJ
Affaires et gestion
51
VSPM
Affirmation de soi, motivation, estime de soi et attitude mentale positive
197
PBF
Algèbre
238
UMB
Algorithmes et structures des données
51
PBV
Analyse combinatoire et théorie des graphes
49
PBKD
Analyse complexe, variables complexes
51
PBKF
Analyse fonctionnelle et transformations
26
PBKS
Analyse numérique
33
PBKB
Analyse réelle, variables réelles
36
JBFU
Animaux et société
20
PDG
Applications industrielles de la recherche scientifique et innovation technologique
44
UYQM
Apprentissage par la machine
1002
NK
Archéologie
42
NKD
Archéologie par période
23
AMB
Architectes et cabinets d’architecture
24
AM
Architecture
29
UYF
Architecture informatique et conception logique
104
TTMW
Artillerie, technologie de l’armement
20
AGB
Artistes, monographies d’art
30
CBW
Arts de l’écriture et techniques de rédaction
25
TTDS
Astronautique
979
WNX
Astronomie populaire et espace
769
PGC
Astronomie théorique et mathématique
75
PG
Astronomie, espace et temps
890
PHVB
Astrophysique
109
TJFM
Automatique
69
KFFK
Banque
21
PSB
Biochimie
297
RNCB
Biodiversité
30
PSAD
Bioéthique
31
DNBL
Biographie : auteurs
38
DNBH
Biographie : historique, politique et militaire
77
DNBM
Biographie : philosophie et sciences sociales
20
DNBR
Biographie : royauté
24
DNBT
Biographie : science, technologie et médecine
56
PSF
Biologie cellulaire (cytologie)
114
PSAX
Biologie computationnelle
78
PSX
Biologie de l’homme
24
PSC
Biologie liée au développement
36
PSD
Biologie moléculaire
159
PSTB
Biologie végétale
28
PS
Biologie, sciences de la vie
21
PHVN
Biophysique
25
TCB
Biotechnologie
53
PBKA
Calcul
40
PBKJ
Calcul différentiel et équations
87
PBK
Calcul et analyse mathématique
60
PBKL
Calcul intégral et équations
23
RNR
Catastrophe naturelle
25
RNPG
Changement climatique
195
PN
Chimie
21
PNRL
Chimie nucléaire, photochimie et radiation
26
PNN
Chimie organique
65
PNR
Chimie physique
66
MJCL2
Chimiothérapie
26
RBPC
Climatologie et modélisation du climat
24
UTC
Cloud computing
23
JMR
Cognition et psychologie cognitive
106
TRPS
Compétences en aviation et pilotage
21
UGG
Conception de jeux vidéos
218
VSC
Conseils professionnels et pour atteindre le succès
52
LNDX
Constitution
31
TNK
Construction et matériaux de construction
20
PGK
Cosmologie et univers
948
KCX
Crises et désastres économiques et financières
28
GTS
Décolonisation du savoir
34
JBCT5
Désinformation et mésinformation
66
KCM
Développement économique et économies émergentes
57
UMK
Développement et programmation de jeux
37
MBNH3
Diététique et nutrition
23
WNA
Dinosaures et monde préhistorique : généralités
51
JPSD
Diplomatie
30
JPHL
Dirigeants politiques et leadership
36
DNS
Discours
35
TJFD
Dispositifs électroniques et matériels
180
ATFR
Documentaires
23
LNCR
Droit de l’énergie et des ressources naturelles
35
JPVH
Droits de l’homme, droits civils
39
RNU
Durabilité
47
PHDT
Dynamique et statique
75
KC
Economie
21
KCVG
Economie de l’environnement
87
KCF
Economie du travail, revenu
80
KCBM
Economie monétaire
71
KCVM
Economie numérique ou de l’Internet
31
KCP
Economie politique
101
JNDH
Education : examens et évaluations
30
JPHF
Elections et référendums
28
PHK
Electricité, électromagnétisme et magnétisme
239
TJFC
Electronique : circuits et composants
165
THR
Electrotechnique
52
MJG
Endocrinologie
22
PHDY
Energie
21
THVW
Energie éolienne
24
THVH
Energie hydraulique
21
THVS
Energie solaire
152
THY
Energie, production d’énergie, distribution et stockage
300
JBF
Enjeux sociaux et éthiques
28
JKVF
Enquête et détection criminelles
35
JNU
Enseignement de sujets spécifiques
28
JNM
Enseignement supérieur
217
KJH
Entreprenariat
99
KJJ
Entreprises et environnement ; approches durables des entreprises
30
MBNS
Epidémiologie et statistiques médicales
110
JNV
Equipement et technologie pour l’éducation, enseignement assisté par ordinateur (EAO)
59
NHTS
Esclavage, personnes réduites en esclavage et abolition de l’esclavage
27
SXE
eSports
23
MBGR1
Essais cliniques
20
QDTQ
Ethique et philosophie morale
45
PSVP
Ethologie et comportement animal
28
GTK
Études cognitives
38
GTC
Études de communication
26
GTP
Études de développement
33
JBSF
Études de genre
22
JBSF1
Études de genre : femmes et filles
69
JBCT
Études des médias
23
JBCT1
Études des médias : Internet, médias numériques et société
54
JBCT4
Études des médias : journalisme
81
GTZ
Études générales et connaissances générales
21
DSK
Études littéraires : auteurs de fictions, nouvelles et prose
63
DSC
Études littéraires : poésie et poètes
43
ATD
études théâtrales
23
PSAJ
Evolution
135
DSRC
Explication de textes littéraires, critiques de livres et guides
25
TTDX
Exploration spatiale
520
MBNH2
Facteurs environnementaux
49
ATFN
Film : styles et genres
341
KCLT
Finance et commerce international
46
KFF
Finance et secteur financier
35
KFFD
Finance publique et fiscalité
43
KFFS
Finance verte
49
PDK
Financement et politique des sciences
64
VSB
Finances personnelles
38
URH
Fraude et piratage informatique
222
PGM
Galaxie et étoiles
295
PSAK
Génétique (non médicale)
603
MFN
Génétique médicale
155
TCBG
Génie génétique
47
UMZ
Génie logiciel
64
THK
Génie nucléaire
174
RBGF
Géologie historique et la paléogéologie
36
RBG
Géologie, géomorphologie et lithosphère
20
PBMW
Géométrie algébrique
154
PBMP
Géométrie différentielle et riemannienne
34
PBMH
Géométrie euclidienne
41
PHVG
Géophysique
32
JPSL
Géopolitique
265
THVG
Géothermie
33
KJMB
Gestion : direction et motivation
36
KJMV3
Gestion de l’informatique et des systèmes d’information
36
UT
Gestion de réseaux informatiques et des communications
22
KJMV7
Gestion des ventes et marketing
42
KJMV2
Gestion du personnel et des ressources humaines
27
PHDV
Gravité
28
JPWG
Groupes de pression, mouvements de protestation et actions non violentes
25
PBG
Groupes et théorie des groupes
103
JWD
Guerre de l’information
25
NHWR3
Guerres civiles
20
ATFG
Guides et critiques de film
90
JBFM
Handicap : aspects sociaux
21
MJF
Hématologie
20
MJJ
Hépatologie
40
NH
Histoire
37
NHT
Histoire : événements et thèmes spécifiques
23
NHC
Histoire ancienne
21
AGA
Histoire de l’art
26
NHD
Histoire de l’Europe
22
UBB
Histoire de l’informatique, du numérique et des technologies de l’information
43
TBX
Histoire de l’ingénierie et des technologies
22
KJZ
Histoire de sociétés, d’entreprises, d’activité
21
NHK
Histoire des Amériques
50
PBX
Histoire des mathématiques
25
PDX
Histoire des sciences
137
NHTB
Histoire sociale et culturelle
63
ATFA
Histoire, théorie ou critique cinématographique
27
NHAH
Historiographie
32
MKS
Imagerie médicale
20
MJCM
Immunologie
80
PDR
Impact de la science et de la technologie sur la société
110
RNT
Impact social des questions environnementales
37
KNTV
Industrie des jeux informatiques et vidéo
162
KNB
Industries de l’énergie et de service public
186
KNBL
Industries de la production et distribution de l’électricité
246
KNTX
Industries de technologie de l’information
268
KNBT
Industries des énergies alternatives et renouvelables
113
KNBP
Industries du pétrole et du gaz
81
PBTB
Inférence bayésienne
30
UY
Informatique
49
MBF
Informatique médicale et de santé
55
UYX
Informatique naturelle
724
UYA
Informatique théorique
189
TGMD
Ingénierie : mécanique des solides
24
MQW
Ingénierie biomédicale
21
KJD
Innovation dans les affaires
23
GTV
Institutions et sociétés savantes : généralités
31
JPSN
Institutions internationales
23
UYQ
Intelligence artificielle (IA)
1742
UYQD
Intelligence artificielle générale (IAG)
40
UYQF
Intelligence artificielle générative
2048
UBW
Internet : travaux généraux
40
ATN
Internet et médias numériques : art et pratiques
49
DNPB
Interviews
32
KFFM
Investissement et titres
121
UDX
Jeux informatiques
526
JPZ
La corruption dans la politique, le gouvernement et la société
27
MBGL
Laboratoire médical et techniques
20
UYQL
Langage naturel et traduction automatique
125
DSM
Littérature comparée
23
JBFD
Logement et itinérance
20
UFL
Logiciel d’entreprise
47
PBCD
Logique des mathématiques
99
KCB
Macroéconomie
21
MKJD
Maladie d’Alzheimer, démence, maladie de Parkinson et autres maladies neurodégénératives
62
MJCJ
Maladies infectieuses et contagieuses
54
KJSG
Marketing digital
20
PB
Mathématiques
77
PDZM
Mathématiques populaires et récréatives
71
MFKH3
Maturité et vieillissement
60
PHD
Mécanique classique
188
PHDB
Mécanique élémentaire
33
PHDS
Mécanique ondulatoire (vibration et acoustique)
34
MJD
Médecine cardiovasculaire
25
MKCM
Médecine materno-fœtale
34
MKR
Médecine nucléaire
66
MKB
Médecine palliative
32
KNTP2
Médias d’information et journalisme
20
RBPM
Météorologie
23
GPS
Méthodes de recherche
95
PSG
Microbiologie (non médicale)
50
JBFH
Migration, immigration et émigration
27
PBWH
Modèles mathématiques
51
UYM
Modélisation et simulation informatiques
21
GLZ
Muséologie et conservation du patrimoine
23
TBN
Nanotechnologie
25
WN
Nature et monde naturel : généralités
46
MKJ
Neurologie et neurophysiologie clinique
54
PSAN
Neurosciences
106
PSAN5
Neurosciences cognitives et comportementales
227
UTP
Normes et protocoles réseaux
22
UB
Numérique et technologies de l’information : thèmes généraux
27
PGG
Observation astronomique : observatoires, équipements et méthodes
101
RBKC
Océanographie (mers et océans)
42
MJCL
Oncologie
113
PBU
Optimisation
28
TTB
Optique appliquée
27
PHJ
Optique physique
139
JNR
Orientation professionnelle
31
RBX
Paléontologie
61
RNA
Pensée et idéologie écologistes
75
MKG
Pharmacologie
46
QD
Philosophie
28
QDTK
Philosophie : épistémologie et théorie de la connaissance
110
QDTL
Philosophie : logique
47
QDTJ
Philosophie : métaphysique et ontologie
38
QDHA
Philosophie ancienne grecque et romaine
38
QDHC
Philosophie de l’Asie de l’Est et de l’Inde
26
QDTM
Philosophie de l’esprit
65
PBB
Philosophie des mathématiques
29
PDA
Philosophie des sciences
136
QDXB
Philosophie populaire : Sens de la vie
22
QDTS
Philosophie sociale et politique
68
MFG
Physiologie
49
MFGG
Physiologie régionale
23
PH
Physique
165
PHDF
Physique : mécanique des fluides
40
PHM
Physique atomique et moléculaire
70
PHFC
Physique de la matière condensée (physique de l’état liquide et de l’état solide)
113
PHR
Physique de la relativité
278
PHJL
Physique des lasers
42
PHP
Physique des particules et des hautes énergies
107
PHFP
Physique des plasmas
22
PHU
Physique mathématique
131
PHN
Physique nucléaire
104
PHQ
Physique quantique (mécanique quantique et théorie quantique des champs)
751
PHS
Physique statistique
48
RPC
Planification et politique urbaines et municipales
47
RND
Politique environnementale et protocoles
176
JP
Politique et gouvernement
59
JPQB
Politiques du gouvernement central
42
RNP
Pollution et menaces pour l’environnement
31
PSXE
Premiers hommes
75
JBFZ
Prévisions sociales, études sur le futur
21
PBT
Probabilité et statistiques
216
TGP
Productique et génie industriel
35
GPJ
Programmation et cryptologie
36
UMX
Programmation et langage de script : généralités
90
UMW
Programmation Web
53
URD
Protection de la vie privée et des données
29
JM
Psychologie
58
JMQ
Psychologie : émotions
22
JMT
Psychologie : états de conscience
31
JNC
Psychologie de l’éducation
25
JMC
Psychologie de l’enfant, psychologie du développement
20
JMM
Psychologie physiologique, neuropsychologie, biopsychologie
24
VSP
Psychologie populaire
93
JMH
Psychologie sociale, de groupe ou collective
44
MKGW
Psychopharmacologie
35
RNQ
Questions nucléaires
27
JBFA1
Racisme et discrimination raciale
26
ATFB
Réalisateurs et producteurs de films
30
MBGR
Recherche médicale
42
PDM
Recherche scientifique
46
GTU
Recherche sur la paix et la résolution de conflits
34
JPS
Relations internationales
21
QRAM2
Religion et politique
21
QRAM3
Religion et science
24
THYC
Rendement énergétique
50
DNP
Reportage, le journalisme d’investigation ou les chroniques
68
UYQN
Réseaux neuronaux et systèmes flous
367
RNFY
Ressources énergétiques
50
TJFM1
Robotique
268
VFMD
Santé : régimes et nutrition
20
MBN
Santé publique et médecine préventive
59
JBFN
Santé, maladie ou addiction : aspects sociaux
21
UFLS
SAP (« Systems, applications & products in databases »)
24
TGM
Science des matériaux
45
PSAF
Science écologique, biosphère
31
GPH
Science et analyse de données
33
PDZ
Science populaire
384
FLU
Science-fiction : aliens
77
FLW
Science-fiction : exploration spatiale
199
FLS
Science-fiction : space opéra
34
PD
Sciences : généralités
51
TTD
Sciences de l’espace
278
JPA
Sciences politiques et théorie
21
RNFD
Sécheresse et approvisionnement en eau
20
NHWR7
Seconde Guerre mondiale
41
RNFF
Sécurité alimentaire et approvisionnement
33
UR
Sécurité informatique
608
UTN
Sécurité réseau
44
CFG
Sémantique, analyse du discours, stylistique
28
NKDS
Sites archéologiques
28
CFB
Sociolinguistique
34
THV
Sources d’énergie alternative et renouvelable et technologie
131
PBWL
Stochastique
43
KJC
Stratégie d’affaires
24
JWK
Stratégie militaire et de défense
35
JPHV
Structures
42
PGS
Système solaire : soleil et planètes
291
MBP
Systèmes et services de santé
35
UYQE
Systèmes experts
25
PSAN4
Systèmes sensoriels et moteurs
20
UMA
Techniques de programmation
25
THYB
Technologie de batterie
136
TRP
Technologie de l’aérospatiale et de l’aéronautique
822
TJK
Technologie des communications
31
TTBM
Technologie et systèmes d’imagerie
20
KFFF
Technologie financière (fintech)
29
TTBL
Technologie laser et holographie
20
THD
Technologies de l’hydrogène
50
UBJ
Technologies numériques et de l’information : aspects sociaux et éthiques
838
ATJ
Télévision
41
ATJS
Télévisions : styles et genres
20
PGZ
Temps (chronologie), systèmes et normes de temps
44
ABA
Théorie de l’art
32
PBH
Théorie des nombres
181
KCA
Théorie et philosophie économique
34
DSA
théorie littéraire
22
JMA
Théorie psychologique, systèmes, écoles et points de vue
20
JBGX
Théories du complot
46
MKZV
Thérapie génique
36
PHH
Thermodynamique et chaleur
25
PBP
Topologie
21
PBPD
Topologie algébrique
42
TJKH
Traitement du signal
34
UYFP
Traitement parallèle
24
AMVD
Urbanisme et aménagement du territoire : aspects architecturaux
27
MBNK
Vaccination
27
TRV
Véhicules électriques
42
KJS
Ventes et marketing
38
URJ
Virus informatiques, chevaux de Troie et vers
24
UYQV
Vision assistée par ordinateur
108
RBC
Volcanologie et sismologie
24
PSV
Zoologie et sciences des animaux
22
Lec 20: Optimization Input Pipelines with tf.data
Lec 20 : Optimisation des pipelines d'entrée avec tf.data
★
★
★
★
☆
4/5
Lec 20: Introduction to Formal Property Verification
Lec 20: Introduction à la vérification formelle de propriétés
★
★
★
★
☆
4/5
Lec 19: TensorFlow Execution Models & Performance Basics
Lec 19: Modèles d'exécution TensorFlow et bases de la performance
★
★
★
★
☆
4/5
La IA ya no hackea sistemas, ahora HACKEA PERSONAS
L'IA ne pirate plus les systèmes, maintenant elle PIRATE LES PERSONNES
★
★
★
★
☆
4/5
Keeping people inspired and energized | Archana Amlapure | TEDxSeasonsStreet
Inspirer et dynamiser les gens | Archana Amlapure | TEDxSeasonsStreet
★
★
★
☆
☆
3/5
KANDy: Kolmogorov-Arnold Networks for Dynamics and Emerging Variants || Aug 7, 2026
KANDy : Réseaux de Kolmogorov-Arnold pour la dynamique et variantes émergentes || 7 août 2026
★
★
★
★
☆
4/5
It's not over until you give up | Ashu Jain | TEDxWBS Youth
Tout n'est pas fini tant que vous n'abandonnez pas | Ashu Jain | TEDxWBS Youth
★
★
★
☆
☆
3/5
Is AI Making You Lose Yourself? | Teresa Greco | TEDxTorontoMetU
L'IA vous fait-elle perdre votre identité ? | Teresa Greco | TEDxTorontoMetU
★
★
★
☆
☆
3/5
Inclusión educativa, formación docente y trayectorias de estudiantes con discapacidad...
Inclusion éducative, formation des enseignants et parcours des étudiants en situation de handicap...
★
★
★
★
☆
4/5
Ils veulent défendre LEGEND - Je réponds.
★
★
★
★
☆
4/5
How to love reading science books | Tan Minh Nguyen | TEDxLe Quy Don HS Binh Dinh
Comment aimer lire les livres de science | Tan Minh Nguyen | TEDxLe Quy Don HS Binh Dinh
★
★
★
☆
☆
3/5
How Geography Shapes Global Power | Manish Tewari | TEDxWBS Youth
Comment la géographie façonne la puissance mondiale | Manish Tewari | TEDxWBS Youth
★
★
★
☆
☆
3/5
How Doctors and Patients Save Each Other in a Broken Healthcare System | Andy Chu | TEDxStanford
Comment les médecins et les patients se sauvent mutuellement dans un système de santé défaillant | Andy Chu | TEDxStanford
★
★
★
★
☆
4/5
How Digital Environments Shape Human Behaviour | Tapas Sen | TEDxWBS Youth
Comment les environnements numériques façonnent le comportement humain | Tapas Sen | TEDxWBS Youth
★
★
☆
☆
☆
2/5
How Can Primary Care Detect Alzheimer’s Risk Earlier?
Comment les soins primaires peuvent-ils détecter plus tôt les risques de maladie d'Alzheimer ?
★
★
★
★
☆
4/5
High Yields, Surging Crude Oil and Dollar Under Pressure
Rendements élevés, flambée du pétrole brut et dollar sous pression
★
★
★
★
☆
4/5
GTA 6 "ON N’A JAMAIS VU ÇA" 😯 Take-Two Hallucine !!!
★
★
★
★
☆
4/5
From Fossils to Futures: How deep history is informing future research systems
Des fossiles au futur : comment l'histoire profonde éclaire les systèmes de recherche de demain
★
★
★
★
☆
4/5
Extreme Transport: Hauling a Giant Industrial Furnace | FD Engineering
Transport extrême : le convoi d'un four industriel géant | FD Engineering
★
★
★
★
☆
4/5
Everything is a learning experience | Ved Krishna | TEDxWBS Youth
Tout est une leçon de vie | Ved Krishna | TEDxWBS Youth
★
★
★
☆
☆
3/5
Estamos 99.9% Seguros de que este Patrón es Real, Pero Nadie Puede Probarlo
Nous sommes sûrs à 99.9% que ce motif est réel, mais personne ne peut le prouver
★
★
★
★
★
5/5
EP FOCUS: The Prolonged Gas Crisis and Energy Security Challenges
EP FOCUS: La crise prolongée du gaz et les défis de la sécurité énergétique
★
★
★
☆
☆
3/5
EP 251: Cracking the delivery barrier in genetic medicine with Jagesh Shah of Mirai Bio
EP 251: Franchir la barrière de la livraison en médecine génétique avec Jagesh Shah de Mirai Bio
★
★
★
★
☆
4/5
Entanglement & QuantumEffects | Thaddeus Pellegrini | QGSS26
Intrication & effets quantiques | Thaddeus Pellegrini | QGSS26
★
★
★
★
☆
4/5
Embracing Productive Boredom | Sudeepthi Maddukuri | TEDxFrisco HS Youth
Adopter l'ennui productif | Sudeepthi Maddukuri | TEDxFrisco HS Youth
★
★
★
☆
☆
3/5
El costo humano de cruzar los límites de la tierra | Jimena Roncancio | TEDxUniversidad El Bosque
Le coût humain de franchir les limites de la terre | Jimena Roncancio | TEDxUniversidad El Bosque
★
★
★
★
☆
4/5
D'où Vient VRAIMENT la Lumière ?
★
★
★
★
★
5/5
Curso "Análisis comparativo de sistemas de salud" Día 3
Cours "Análisis comparativo de sistemas de salud" Jour 3
★
★
★
★
☆
4/5
Cuando la IA escribe contigo - Rodrigo F.Baon | Rodrigo Fernandez Baon | TEDxCesine
Quand l'IA écrit avec toi - Rodrigo F.Baon | Rodrigo Fernandez Baon | TEDxCesine
★
★
★
★
☆
4/5
Could AI Predict Disease Risk From Sleep Data? | Dina Katabi | TEDxMIT
L'IA pourrait-elle prédire le risque de maladie à partir des données de sommeil ? | Dina Katabi | TEDxMIT
★
★
★
★
☆
4/5
Como cloud pode gerar novas oportunidades para MSPs? | Starti + Vituax
Comment le cloud peut-il générer de nouvelles opportunités pour les MSP ? | Starti + Vituax
★
★
★
☆
☆
3/5
CODA: Between two worlds | Tara Kozuh | TEDxPerth Salon
CODA : Entre deux mondes | Tara Kozuh | TEDxPerth Salon
★
★
★
★
☆
4/5
CODA: Between two worlds | Tara Kozuh | TEDxPerth Salon
CODA : Entre deux mondes | Tara Kozuh | TEDxPerth Salon
★
★
★
★
☆
4/5
Ciencia Ficción & Crisis Humana | Sergio Andrés Henao López | TEDxUniversidad El Bosque
Science-Fiction & Crise Humaine | Sergio Andrés Henao López | TEDxUniversidad El Bosque
★
★
★
★
☆
4/5