Discover ChatGPT for Translators

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

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous

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]

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]

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]

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]

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

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 ]

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

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

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