Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!

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

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous

bell prover | gas referees'meter prover | meter prover

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

clepsydre

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

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

theorem prover [ prover | automatic theorem prover | theorem proving program | proof-finding program ]

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

démonstrateur de théorème [ démonstrateur automatique de théorèmes | démonstrateur ]

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

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

linen prover

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

compte-fils

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

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

bell prover

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

gazomètre de contrôle [ étalonneur à cloche | appareil d'étalonnage à cloche ]

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

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

meter prover

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

étalon de contrôle de compteur volumétrique

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

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

prover | prototype

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

démonstrateur | maquette

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

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

automatic theorem prover | ATP | mechanical theorem prover | automated theorem prover

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

démonstrateur automatique de théorème | démonstrateur automatisé de théorème

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

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

intermediate proofer [ intermediate proof cabinet | intermediate prover | first prover ]

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

chambre de repos [ chambre de préfermentation de l'apprêt | armoire de préfermentation | étuve de préfermentation ]

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

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

non-monotonic theorem prover

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

démonstrateur de théorèmes non monotones

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

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

TRADUCTIONS EN CONTEXTE

Food processing machinery — Intermediate provers — Safety and hygiene requirements

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

Machines pour les produits alimentaires — Chambres de repos — Prescriptions relatives à la sécurité et à l’hygiène

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

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

(a) a conservation officer is notified at least 14 days before the day on which any transfer meter prover or master meter used in conjunction with a transfer meter is calibrated; and

http://laws-lois.justice.gc.ca (...) (...) [HTML] [2014-09-25]

a) un agent du contrôle de l’exploitation est avisé au moins quatorze jours avant l’étalonnage d’un compteur étalon de transfert ou d’un compteur général lié à celui-ci;

http://laws-lois.justice.gc.ca (...) (...) [HTML] [2014-09-25]

http://laws-lois.justice.gc.ca (...) [HTML] [2014-09-25]

(e) in the case of an application regarding gas meters, a floor plan, with north indicated thereon, showing the location of provers, heaters, air conditioning ducts, windows, doors and any other feature likely to have an effect on temperature stability or air movement; and

http://laws-lois.justice.gc.ca (...) (...) [HTML] [2014-09-25]

e) dans le cas d’une demande concernant des compteurs à gaz, un plan d’étage, le nord étant indiqué, illustrant l’emplacement des gazomètres de contrôle, des chaufferettes, des conduits de climatisation, des fenêtres, des portes et de tout autre élément pouvant influer sur la stabilité de la température ou sur la circulation de l’air;

http://laws-lois.justice.gc.ca (...) (...) [HTML] [2014-09-25]

http://laws-lois.justice.gc.ca (...) [HTML] [2014-09-25]

We have portable and fixed provers, and testing involves delivering oil in the provers.

http://www.parl.gc.ca/HousePub (...) (...) [HTML] [2010-06-02]

Nous avons des appareils de calibrage portatifs et fixes, et le test exige d'y verser du mazout.

http://www.parl.gc.ca/HousePub (...) (...) [HTML] [2010-06-02]

http://www.parl.gc.ca/HousePub (...) [HTML] [2010-06-02]

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

Hon. John McKay: In the provers.?

http://www.parl.gc.ca/HousePub (...) (...) [HTML] [2010-06-02]

L'hon. John McKay: Dans les appareils de calibrage.?

http://www.parl.gc.ca/HousePub (...) (...) [HTML] [2010-06-02]

http://www.parl.gc.ca/HousePub (...) [HTML] [2010-06-02]

The comment made by the previous questioner demonstrates that even temperature compensation did not exist in those days and it takes a lot more than two minutes, using a proper prover and clinical requirement, to ensure that there is in fact an appropriate and accurate calibration.

http://www.parl.gc.ca/HousePub (...) (...) [HTML] [2010-05-11]

Le député qui a posé la question précédente n'a pas tenu compte du fait que, à l'époque, rien n'était prévu pour compenser les écarts de température. De nos jours, il faut beaucoup plus que deux minutes pour calibrer précisément une pompe à essence.

http://www.parl.gc.ca/HousePub (...) (...) [HTML] [2010-05-11]

http://www.parl.gc.ca/HousePub (...) [HTML] [2010-05-11]

D'autres ont cherché : automated theorem prover automatic theorem prover bell prover first prover gas referees'meter prover intermediate proof cabinet intermediate proofer intermediate prover linen prover mechanical theorem prover meter prover non-monotonic theorem prover proof-finding program prototype prover theorem prover theorem proving program

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

'prover' ->

Date index: 2024-01-05