Translation of "automated deduction" into French

démonstration automatique, démonstration automatique de théorèmes are the top translations of "automated deduction" into French.

automated deduction

The proving of mathematical theorems by a computer program.

+ Add

English-French dictionary

  • démonstration automatique

    The proving of mathematical theorems by a computer program.

  • démonstration automatique de théorèmes

    The proving of mathematical theorems by a computer program.

  • Show algorithmically generated translations

Automatic translations of "automated deduction" into French

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similar to "automated deduction" with translations into French

Add

Translations of "automated deduction" into French in sentences, translation memory