Titre original :

Algorithmes de démonstration automatique pour le calcul des prédicats classique

  • Langue : Français
  • Discipline : Mathématiques appliquées
  • Identifiant : Inconnu
  • Type de thèse : Doctorat
  • Date de soutenance : 01/01/1967

AUTEUR

  • Ngoa, Marie-Hélène
Droits d'auteur : Ce document est protégé en vertu du Code de la Propriété Intellectuelle.
Accès libre