Translation of "automated deduction" into Portuguese

dedução automática, prova automática de teoremas are the top translations of "automated deduction" into Portuguese.

automated deduction

The proving of mathematical theorems by a computer program.

+ Add

English-Portuguese dictionary

  • dedução automática

    The proving of mathematical theorems by a computer program.

  • prova automática de teoremas

    The proving of mathematical theorems by a computer program.

  • Show algorithmically generated translations

Automatic translations of "automated deduction" into Portuguese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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