Gérard Berry
Code ISNI : 0000 0000 8378 1009
Collège de France
chaire Algorithmes
machines et languages
FR
Mathematics
and Interactions
-
4 videos
![L'informatique, de la révolution technique à la révolution mentale]()
01:29:25published on May 11, 2017L'informatique, de la révolution technique à la révolution mentale
By Gérard Berry
![Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)]()
01:00:17published on May 7, 2014Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)
By Gérard Berry
![Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (1/2)]()
02:13:02published on April 23, 2014Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (1/2)
By Gérard Berry
