FR EN Français Anglais traductions pour Démonstrateur automatique de théorèmes
La recherche du mot Démonstrateur automatique de théorèmes a un résultat
Aller à
FR | Français | EN | Anglais | |
---|---|---|---|---|
Démonstrateur automatique de théorèmes | Automated theorem proving |
FR EN Traductions pour automatique
automatique (a) [conduite] | automatic (a) [conduite] | |||
automatique (a) [mécanique] | automatic (a) [mécanique] | |||
automatique (a) [conduite] | mechanic (a) [conduite] |
FR EN Traductions pour de
de (o) [comparaison] | than (o) [comparaison] | |||
de (o) [général] | to (o) [général] | |||
de (o) [concernant] | concerning (o) [concernant] | |||
de (o) [concernant] | regarding (o) [concernant] | |||
de (o) [concernant] | about (o) [concernant] | |||
de (o) [quantité] | some (o) [quantité] | |||
de (o) [livres] | by (o) [livres] | |||
de | of | |||
de (o) [général] | of (o) [général] | |||
de (o) [livres] | of (o) [livres] |