Traduction de "proof-finding program" en français
démonstrateur, démonstrateur automatique de théorèmes, démonstrateur de théorème sont les meilleures traductions de "proof-finding program" en français.
proof-finding program
-
démonstrateur
noun -
démonstrateur automatique de théorèmes
-
démonstrateur de théorème
-
Afficher les traductions générées par algorithme
Traductions automatiques de " proof-finding program " en français
-
Glosbe Translate
-
Google Translate
Ajouter un exemple
Ajouter