Translation of "theorem prover" into French
démonstrateur, démonstrateur automatique de théorèmes, démonstrateur de théorème are the top translations of "theorem prover" into French.
theorem prover
-
démonstrateur
nounResearchers implemented the model and calculus as an automated theorem prover.
Les chercheurs ont mis en œuvre le modèle et le calcul sous la forme d'un démonstrateur automatisé de théorème.
-
démonstrateur automatique de théorèmes
-
démonstrateur de théorème
The target description can be elaborated by an efficient fully automated theorem prover (5), able to perform the hardware verification (6).
La description objet peut être analysée par un démonstrateur de théorème totalement automatique, capable de réaliser la vérification matérielle (6).
-
Show algorithmically generated translations
Automatic translations of "theorem prover" into French
-
Glosbe Translate -
Google Translate
Phrases similar to "theorem prover" with translations into French
-
démonstrateur de théorème du premier ordre
-
démonstrateur de théorèmes par ordinateur · démontreur de théorèmes informatique
-
démontreur logique de théorèmes
-
démontreur de théorèmes en logique du premier ordre
-
démonstrateur de théorèmes polyvalent · démonstrateur de théorèmes universel
-
démonstrateur de théorèmes force brute
-
démonstrateur de théorèmes de sens commun
-
démonstrateur de théorèmes par résolution
Add example
Add