Translation of "intermediate prover " (English → French) :

TERMINOLOGY
see also In-Context Translations below

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 ]

IATE - Breadmaking

Boulangerie

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

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

bell prover | gas referees'meter prover | meter prover

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

clepsydre

IATE - Natural and applied sciences

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

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

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

intelligence artificielle

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

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

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 ]

Artificial Intelligence

Intelligence artificielle

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

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

intermediate species | active center | active intermediate | intermediate | reaction intermediate

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

forme active intermédiaire | intermédiaire

chimie

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

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

intermediate casing string [ intermediate string | intermediate conductor | intermediate casing ]

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

colonne technique [ colonne de tubage intermédiaire | tubage intermédiaire ]

IATE - Oil Drilling | Equipment (Oil and Natural Gas Extraction)

Forage des puits de pétrole | Outillage (Extraction du pétrole et du gaz)

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

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

Extensive drug resistance (XDR) is defined as non-susceptibility to at least one agent in all but two or fewer epidemiologically significant antimicrobial categories. Non-susceptibility refers to either a resistant, intermediate or non-susceptible re

https://browser.ihtsdotools.or (...) (...) [HTML] [2018-01-01]

bactérie ultrarésistante aux médicaments antimicrobiens

SNOMEDCT-BE (XDR) is defined as non-susceptibility to at least one agent in all but two or fewer epidemiologically significant antimicrobial categories. Non-susceptibility refers to either a resistant, intermediate or non-susceptible re / 714789002

SNOMEDCT-BE (organism) / 714789002

https://browser.ihtsdotools.or (...) (...) [HTML] [2018-01-01]

https://browser.ihtsdotools.or (...) [HTML] [2018-01-01]

intermediate cutting | intermediate cut | intermediate felling

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

coupe intermédiaire | traitement cultural

agriculture > sylviculture

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

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

intermediate | intermediate copy | intermediate master

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

copie intermédiaire

IATE - Culture and religion | Communications

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

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

intermediate monetary objective | intermediate monetary target | intermediate target variable for monetary policy

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

objectifs monétaires intermédiaires

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

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

IN-CONTEXT TRANSLATIONS

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]

Others have searched : active center active intermediate automated theorem prover automatic theorem prover bell prover first prover gas referees'meter prover intermediate intermediate casing intermediate casing string intermediate conductor intermediate copy intermediate cut intermediate cutting intermediate felling intermediate master intermediate monetary objective intermediate monetary target intermediate proof cabinet intermediate proofer intermediate prover intermediate species intermediate string mechanical theorem prover meter prover proof-finding program prover reaction intermediate theorem prover theorem proving program

www.wordscope.com (v4.0.br.77)

'intermediate prover'

Date index:2022-11-03 -

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)

Translation of "intermediate prover " (English → French) :

Pour agences de traduction et traducteurs - For translation agencies & translators Paris - Brussels - Montreal - Genève - Luxembourg - Madrid Wordscope - Professional computer-assisted translation tools (CAT tools)

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)