Translation of "theorem proving program" into French

démonstrateur, démonstrateur automatique de théorèmes, démonstrateur de théorème are the top translations of "theorem proving program" into French.

theorem proving program
+ Add

English-French dictionary

  • démonstrateur

    noun

  • démonstrateur automatique de théorèmes

  • démonstrateur de théorème

  • Show algorithmically generated translations

Automatic translations of "theorem proving program" into French

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "theorem proving program" into French in sentences, translation memory