Traduction de «Automatic proving » (Anglais → Français) :

TERMINOLOGIE

automatic proving method
méthode de démonstration automatique

automatic proving
démonstration automatique

automatic proving algorithm
algorithme de démonstration automatique

automatic theorem proving | automated theorem proving | mechanical theorem proving
démonstration automatique de théorèmes | démonstration automatisée de théorèmes | preuve automatique de théorèmes | démonstration mécanique de théorèmes

automatic deduction | mechanical theorem proving
démonstrateur de théorèmes | démonstration automatique de théorèmes

proof press | proving press | ready proof press | direct proving press | galley press | proving and reversing press | reversing press | transfer press
presse à épreuves | presse à épreuve | presse à contre-épreuves | presse à décalquer | presse de report

automatic drinker | automatic drinking bowl | automatic fill bowl | automatic waterer | automatic watering-trough | drinking bowl | self-waterer
abreuvoir automatique

automatic chroma control | automatic chrominance control | automatic color gain control | automatic colour gain control | automatic saturation control | ACC [Abbr.]
commande automatique de chrominance | CAC [Abbr.]

proved reserves | proven reserves | proved fields
réserves prouvées | réserves certaines | réserves sûres

repair automatic sewing machines | tending automatic sewing machines | tend automatic sewing machine | tend automatic sewing machines
surveiller des machines à coudre automatiques

TRADUCTIONS EN CONTEXTE

If a customer repudiates a transaction, a basic e-signature can be admitted as evidence in court, but does not automatically prove the customer's participation.
Si un client conteste une opération, une signature électronique de base peut certes être acceptée comme preuve par la justice, mais elle ne prouvera pas automatiquement la participation du client.

While the current control and referral procedure has proved its effectiveness with a rate of referral to the Court of Justice of only 10% of suspected infringements (see box on p. 4), an automatic increase in this work following enlargement is to be expected and account must also be taken of the extension of the Community acquis.
Si la procédure actuelle de contrôle et de poursuite a bien prouvé son efficacité avec un taux de saisine de la Cour de Justice équivalant à 10% seulement du volume des infractions présumées (c.f. encadré p.4), il faut anticiper l'accroissement mécanique des tâches découlant du futur élargissement et tenir compte aussi de l'extension de l'acquis communautaire.

If the steel products were shipped to one of these Member States before 1 May 2004, the import authorisation shall be granted automatically, without quantitative limitation, on presentation of the bill of lading or another transport document deemed to be equivalent by the Community licensing offices proving the shipment date and after approval from the Commission's office responsible for the management of licences (SIGL).
Si les produits sidérurgiques ont été expédiés vers l'un de ces États membres avant le 1er mai 2004, l’autorisation d'importation est accordée automatiquement sans limite quantitative sur présentation du connaissement ou d'un autre titre de transport jugé équivalent par les bureaux de licences de la Communauté européenne pour prouver la date d'expédition et après approbation par le bureau de la Commission responsable de la gestion des licences (SIGL).

However, given that according to the Directive detention is an exception to the general rule of free movement, which might be used only when "it proves necessary", automatic detention without any evaluation of the situation of the person in question is contrary to the Directive.
Cependant, étant donné que la directive considère la détention comme une exception à la règle générale de libre circulation, qui ne peut être utilisée que lorsque «cela s'avère nécessaire», le placement automatique en détention sans évaluer la situation de la personne concernée est contraire à la directive.

(19) The application of certain requirements relating to presentation and restriction of calling and connected line identification and to automatic call forwarding to subscriber lines connected to analogue exchanges should not be made mandatory in specific cases where such application would prove to be technically impossible or would require a disproportionate economic effort.
(19) L'application de certaines exigences relatives à la présentation et à la restriction de l'identification des lignes appelante et connectée et au renvoi d'appel automatique vers des lignes d'abonné connectées à des centraux analogiques ne devrait pas être rendue obligatoire dans les cas spécifiques où une telle application s'avérerait techniquement impossible ou exigerait un effort économique disproportionné.

If it proves impossible for agreement to be reached on this point within two working days of the notification of the objection, the Commission shall automatically appoint an agency or laboratory for the purpose.
Si aucun accord n'est trouvé à ce sujet dans les deux jours ouvrables à partir de la notification de la contestation, la Commission désigne d'office le service ou le laboratoire.