Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Démonstrateur de théorèmes
Démonstration automatique de théorèmes
Démonstration automatisée de théorèmes
Démonstration de théorèmes
Démonstration de théorèmes équationnels
Démonstration mécanique de théorèmes
Méthode de démonstration de théorèmes
Méthode de la démonstration
Preuve automatique de théorèmes
Preuve de théorème
Preuve de théorèmes
Technique de démonstration de théorèmes

Traduction de «Méthode de démonstration de théorèmes » (Français → Anglais) :

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous
méthode de démonstration de théorèmes

theorem proving method


démonstration de théorèmes | preuve de théorème | preuve de théorèmes

theorem proving


démonstration de théorèmes | preuve de théorèmes

theorem proving


démonstration de théorèmes [ preuve de théorèmes ]

theorem proving


technique de démonstration de théorèmes

technique for demonstrating theorems


démonstration de théorèmes équationnels

equational 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 theorem proving | automated theorem proving | mechanical theorem proving


démonstrateur de théorèmes | démonstration automatique de théorèmes

automatic deduction | mechanical theorem proving


TRADUCTIONS EN CONTEXTE
— Remarque: les installations de démonstration peuvent englober les systèmes de refroidissement par voie sèche, les méthodes hybrides et les solutions (de pointe) relatives au stockage de la chaleur.

— Note: Dry cooling, hybridisation and (advanced) heat storage solution may be included in the demonstration plants.


Remarque: les installations de démonstration peuvent englober les systèmes de refroidissement par voie sèche, les méthodes hybrides et les solutions (de pointe) relatives au stockage de la chaleur.

Note: Dry cooling, hybridisation and (advanced) heat storage solution may be included in the demonstration plants.


Remarque: les installations de démonstration peuvent englober les systèmes de refroidissement par voie sèche, les méthodes hybrides et les solutions (de pointe) relatives au stockage de la chaleur.

Note: Dry cooling, hybridisation and (advanced) heat storage solution may be included in the demonstration plants.


les laboratoires nationaux, désignés par l’autorité ou organisme compétent adéquat désigné en vertu de l’article 3, qui participent aux exercices de comparaison à l’échelle de la Communauté portant sur les polluants couverts par la présente directive, soient accrédités conformément à la norme EN/ISO 17025 d’ici à 2010 pour les méthodes de référence visées à l’annexe VI. Ces laboratoires participent à la coordination, sur le territoire des États membres, des programmes d’assurance de la qualité à l’échelle communautaire qui seront mis en place par la Commission; ils coordonnent aussi, au niveau national, l’application adéquate des méthodes de référence ain ...[+++]

that the national laboratories, when appointed by the appropriate competent authority or body designated pursuant to Article 3, that are taking part in Community-wide intercomparisons covering pollutants regulated in this Directive, are accredited according to EN/ISO 17025 by 2010 for the reference methods referred to in Annex VI. These laboratories shall be involved in the coordination on Member States territory of the Community wide quality assurance programmes to be organised by the Commission and shall also coordinate, on the national level, the appropriate realisation of reference methods and the ...[+++]


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
les laboratoires nationaux, désignés par l’autorité ou organisme compétent adéquat désigné en vertu de l’article 3, qui participent aux exercices de comparaison à l’échelle de la Communauté portant sur les polluants couverts par la présente directive, soient accrédités conformément à la norme EN/ISO 17025 d’ici à 2010 pour les méthodes de référence visées à l’annexe VI. Ces laboratoires participent à la coordination, sur le territoire des États membres, des programmes d’assurance de la qualité à l’échelle communautaire qui seront mis en place par la Commission; ils coordonnent aussi, au niveau national, l’application adéquate des méthodes de référence ain ...[+++]

that the national laboratories, when appointed by the appropriate competent authority or body designated pursuant to Article 3, that are taking part in Community-wide intercomparisons covering pollutants regulated in this Directive, are accredited according to EN/ISO 17025 by 2010 for the reference methods referred to in Annex VI. These laboratories shall be involved in the coordination on Member States territory of the Community wide quality assurance programmes to be organised by the Commission and shall also coordinate, on the national level, the appropriate realisation of reference methods and the ...[+++]


Si la directive LdSD n'est pas réexaminée, les avantages environnementaux découlant de la législation resteront en deçà de leur niveau optimal; les fabricants continueront de se heurter à des incertitudes quant aux exigences légales relatives à la démonstration de la conformité avec la directive LdSD et aux méthodes d'exécution dans les 27 États membres, ce qui aura pour effet de maintenir ou d'accroître la charge administrative.

If the RoHS Directive is not reviewed, environmental benefits reaped from the legislation will remain sub-optimal; uncertainty among manufacturers about legal requirements for demonstrating compliance with the RoHS Directive and about enforcement methodologies in the 27 Member States will persist, maintaining or increasing administrative burden.


Le défi que représente l'élaboration et la mise en œuvre efficaces d'une politique relevant du 6ème PAE ne peut être relevé que par l'octroi d'un soutien aux projets concernant les meilleures pratiques ou la démonstration qui favorisent l'élaboration et la mise en œuvre de la politique environnementale de la Communauté, la démonstration d'approches, de technologies, de méthodes et d'instruments novateurs pour les politiques, la consolidation de la base de connaissances, la création de capacités pour la mise en œuvre, la promotion de l ...[+++]

The challenge of effective policy development and implementation under the 6th EAP can be met only through support for best-practice or demonstration projects for the development or implementation of Community environmental policy; demonstration of innovative policy approaches, technologies, methods and instruments; consolidating the knowledge base; building implementation capacity; fostering good governance, promoting networking, mutual learning and the exchange of best practice; and improved dissemination of information, awaren ...[+++]


Le défi que représente l'élaboration et la mise en œuvre efficaces d'une politique relevant du 6ème PAE ne peut être relevé que par l'octroi d'un soutien aux projets concernant les meilleures pratiques ou la démonstration qui favorisent l'élaboration et la mise en œuvre de la politique environnementale de la Communauté, la démonstration d'approches, de technologies, de méthodes et d'instruments novateurs pour les politiques, la consolidation de la base de connaissances, la création de capacités pour la mise en œuvre, la promotion de l ...[+++]

The challenge of effective policy development and implementation under the 6th EAP can be met only through support for best-practice or demonstration projects for the development or implementation of Community environmental policy; demonstration of innovative policy approaches, technologies, methods and instruments; consolidating the knowledge base; building implementation capacity; fostering good governance, promoting networking, mutual learning and the exchange of best practice; and improved dissemination of information, awaren ...[+++]


Elle reposera sur deux axes: le développement de méthodes ainsi que l'intégration, la démonstration et la validation de technologies.

It will be based on a two-fold approach: methodology development and technology integration, demonstration and validation.


considérant que les méthodes d'observation et de mesure des dommages causés aux forêts de même que les connaissances sur la pollution atmosphérique en forêt et sur les effets de cette pollution sur la forêt devraient être améliorées; que des méthodes de maintien et de restauration des forêts endommagées devraient être mises au point; que, à cet effet, la réalisation d'expériences sur le terrain, de projets-pilotes et de démonstrations doit être encouragée par la Communauté;

Whereas it is necessary to improve methods of observing and measuring damage to forests, as well as the understanding of atmospheric pollution in forests and the effects of such pollution on forests; whereas methods of maintaining and restoring damaged forests must be devised; whereas to that end the Community must encourage the carrying out of field experiments and pilot and demonstration projects;


w