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