EN FR English French translations for Automated theorem proving
Search term Automated theorem proving has one result
Jump to
EN | English | FR | French | |
---|---|---|---|---|
Automated theorem proving | Démonstrateur automatique de théorèmes |
EN FR Translations for automated
automated (a) [general] | automatisé (a) [general] |