Mathematics
and Interactions
-
Videos linked to 03B70 Logic in computer scienceMore +
![Deux ou trois choses que je sais d'elle : la logique]()
01:44:57published on February 14, 2022Deux ou trois choses que je sais d'elle : la logique
By Jean-Yves Girard
![Differential linear logic extended to differential operators]()
24:39published on February 14, 2022Differential linear logic extended to differential operators
By Marie Kerjean
![Quantified constraint satisfaction problem: towards the classification of complexity]()
44:23published on November 26, 2021Quantified constraint satisfaction problem: towards the classification of complexity
By Dmitriy Zhuk
