Mathématiques
et Interactions
-
Les vidéos associées à synchronous tracesVoir +
![Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)]()
01:00:17publiée le 7 mai 2014Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)
De Gérard Berry
![Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (1/2)]()
02:13:02publiée le 23 avril 2014Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (1/2)
De Gérard Berry
