Traduction de «Démonstration mécanique de théorèmes » (Français → Anglais) :

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous

démonstration mécanique de théorèmes

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

mechanical theorem proving

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

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

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

automatic theorem proving | automated theorem proving | mechanical theorem proving

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

démonstration automatique de théorèmes [ preuve automatique de théorèmes | démonstration automatisée de théorèmes ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

automatic theorem proving [ automated theorem proving ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

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

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

automatic deduction | mechanical theorem proving

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

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

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

theorem proving

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

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

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

theorem proving

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

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

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

theorem proving

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

technique de démonstration de théorèmes

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

technique for demonstrating theorems

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

TRADUCTIONS EN CONTEXTE

La démonstration de conformité du comportement mécanique de l’assemblage d’essieu doit être réalisée conformément au point 3.2.1 de la norme EN13260:2009 + A1:2010, qui définit les valeurs limites applicables à l’effort axial sur l’assemblage et le test de vérification associé.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-03-12]

The demonstration of conformity for the mechanical behaviour of the wheelset assembly shall be carried out according to clause 3.2.1 of EN 13260:2009+A1:2010, which defines limit values for the axial assembly force and the associated verification test.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-03-12]

https://eur-lex.europa.eu/lega (...) [HTML] [2013-03-12]

La démonstration de la conformité pour la résistance mécanique et les caractéristiques de fatigue du palier à roulement doit être conforme au point 6 de la norme EN12082:2007 + A1:2010.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-03-12]

The demonstration of conformity for mechanical resistance and fatigue characteristics of the rolling bearing shall be in accordance with clause 6 of EN 12082:2007+A1:2010.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-03-12]

https://eur-lex.europa.eu/lega (...) [HTML] [2013-03-12]

Outre l’exigence précitée applicable à l’assemblage, la démonstration de la conformité de la résistance mécanique et des caractéristiques de fatigue de l’essieu doit être fondée sur les points 4, 5 et 6 de la norme EN13103:2009 + A1:2010.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-03-12]

In addition to the requirement on the assembly above, the demonstration of conformity of mechanical resistance and fatigue characteristics of the axle shall be based on clauses 4, 5 and 6 of EN 13103:2009+A1:2010.

https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-03-12]

https://eur-lex.europa.eu/lega (...) [HTML] [2013-03-12]

La démonstration de la conformité pour la résistance mécanique et les caractéristiques de fatigue du palier à roulement doit être conforme au point 6 de la norme EN12082:2007 + A1:2010.

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2013-03-12]

The demonstration of conformity for mechanical resistance and fatigue characteristics of the rolling bearing shall be in accordance with clause 6 of EN 12082:2007+A1:2010.

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2013-03-12]

http://eur-lex.europa.eu/legal (...) [HTML] [2013-03-12]

For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!

Outre l’exigence précitée applicable à l’assemblage, la démonstration de la conformité de la résistance mécanique et des caractéristiques de fatigue de l’essieu doit être fondée sur les points 4, 5 et 6 de la norme EN13103:2009 + A1:2010.

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2013-03-12]

In addition to the requirement on the assembly above, the demonstration of conformity of mechanical resistance and fatigue characteristics of the axle shall be based on clauses 4, 5 and 6 of EN 13103:2009+A1:2010.

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2013-03-12]

http://eur-lex.europa.eu/legal (...) [HTML] [2013-03-12]

La démonstration de conformité du comportement mécanique de l’assemblage d’essieu doit être réalisée conformément au point 3.2.1 de la norme EN13260:2009 + A1:2010, qui définit les valeurs limites applicables à l’effort axial sur l’assemblage et le test de vérification associé.

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2013-03-12]

The demonstration of conformity for the mechanical behaviour of the wheelset assembly shall be carried out according to clause 3.2.1 of EN 13260:2009+A1:2010, which defines limit values for the axial assembly force and the associated verification test.

http://eur-lex.europa.eu/legal (...) (...) [HTML] [2013-03-12]

http://eur-lex.europa.eu/legal (...) [HTML] [2013-03-12]

Le recyclage des déchets industriels et des ordures ménagères revêt une importance particulière dans les projets cofinancés: la société Zimaval effectuera la démonstration d'un nouveau procédé de recyclage du zinc, du manganèse et d'autres métaux provenant de batteries usées; la société Française de Mécanique mettra en œuvre un nouveau procédé visant à recycler les tôles d'acier zinguées; le projet Recupyl vise à traiter les cendres volantes provenant de l'incinération des déchets municipaux par un procédé de conversion thermochimiq ...[+++]

http://europa.eu/rapid/press-r (...) (...) [HTML] [1998-07-26]

Recycling of industrial and household waste is one major theme of the funded projects: Zimaval will demonstrate a new process for recycling Zinc, Manganese and other metals from used batteries; Française de Mecanique will implement a new process for recycling zinc plated steel sheets; the Recupyl project deals with fly ashes from the incineration of municipal waste with a thermochemical conversion process; and ADEME will through a network of local authorities develop a quality management scheme for organic valorisation of biowaste.

http://europa.eu/rapid/press-r (...) (...) [HTML] [1998-07-26]

http://europa.eu/rapid/press-r (...) [HTML] [1998-07-26]

D'autres ont cherché : 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 mécanique de théorèmes preuve automatique de théorèmes preuve de théorème preuve de théorèmes technique de démonstration de théorèmes Démonstration mécanique de théorèmes

datacenter (12): www.wordscope.fr (v4.0.br)

Démonstration mécanique de théorèmes ->

Date index: 2023-04-02