Mots-clés – système de traitement de démonstrations mathématiques
Article
-
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques [Texte intégral]Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004