Traduction de "theorem prover" en français

démonstrateur, démonstrateur automatique de théorèmes, démonstrateur de théorème sont les meilleures traductions de "theorem prover" en français.

theorem prover
+ Ajouter

dictionnaire anglais - français

  • démonstrateur

    noun

    Researchers 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).

  • Afficher les traductions générées par algorithme

Traductions automatiques de " theorem prover " en français

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similaires à "theorem prover" avec traductions en français

Ajouter

Traductions de "theorem prover" en français en contexte, mémoire de traduction