Translation of "automated deduction" into Spanish
deducción automatizada, demostración automática de teoremas are the top translations of "automated deduction" into Spanish.
automated deduction
The proving of mathematical theorems by a computer program.
-
deducción automatizada
Demostración de teoremas matemáticos por un programa informático.
-
demostración automática de teoremas
Demostración de teoremas matemáticos por un programa informático.
-
Show algorithmically generated translations
Automatic translations of "automated deduction" into Spanish
-
Glosbe Translate -
Google Translate
Add example
Add