FR EN Français Anglais traductions pour Automated theorem proving
La recherche du mot Automated theorem proving a un résultat
Aller à
EN | Anglais | FR | Français | |
---|---|---|---|---|
Automated theorem proving | Démonstrateur automatique de théorèmes |
EN FR Traductions pour automated
automated (a) [general] | automatisé (a) [general] |