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