Titre original :
Formalisation des démonstrations mathématiques
- Langue : Français
- Discipline : Mathématiques appliquées
- Identifiant : Inconnu
- Type de thèse : Doctorat
- Date de soutenance : 01/01/1968
AUTEUR
- Arnold, André
Droits d'auteur : Ce document est protégé en vertu du Code de la Propriété Intellectuelle.
Accès libre