La recherche du mot Démonstrateur automatique de théorèmes a un résultat
Aller à

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]