Mathématiques
et Interactions
-
Les vidéos associées à automated reasoningVoir +
![Dependent Type Theory from the Perspective of Mathematics, Physics, and Artificial Intelligence]()
51:02publiée le 13 mai 2022Dependent Type Theory from the Perspective of Mathematics, Physics, and Artificial Intelligence
De David McAllester
