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

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]

Thevenin's theorem [ Thévenin's theorem | Thevenin theorem ]

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

théorème de Thévenin

Electrical Engineering

Électrotechnique

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

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

circulation theorem of Bjerknes | circulation theorem | Bjerknes circulation theorem

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

théorème de la circulation de Bjerknes | théorème de la circulation

science de l'atmosphère

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

intelligence artificielle

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

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

qualified majority threshold | threshold for qualified majority decisions | threshold for qualified majority voting

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

seuil de la majorité qualifiée | seuil pour la prise de décision à la majorité qualifiée

IATE - EU institutions and European civil service

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

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

activating price | activating threshold price for intervention | threshold activating price | threshold price activating the intervention system

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

prix de déclenchement | prix de seuil de déclenchement de l'intervention | prix de seuil de déclenchement d'intervention | prix de seuil de déclenchement du mécanisme des interventions

IATE - AGRICULTURE, FORESTRY AND FISHERIES | Agricultural activity

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

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

basket exit level | basket extractor threshold | basket withdrawal threshold | basket-exit threshold

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

seuil de sortie de panier

IATE - European construction | International trade | Leather and textile industries

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

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

hearing threshold | audibility threshold [ Po ]

https://www.termdat.bk.admin.c (...) (...) [HTML] [2018-01-01]

seuil d'audibilité [ Po ]

Environment & ecology

Pollution - nuisances (Environnement)

https://www.termdat.bk.admin.c (...) (...) [HTML] [2018-01-01]

https://www.termdat.bk.admin.c (...) [HTML] [2018-01-01]

Others have searched : bjerknes circulation theorem kermack-mckendrick epidemic threshold theorem kermack-mckendrick threshold theorem thevenin theorem thevenin's theorem thévenin's theorem activating price activating threshold price for intervention audibility threshold automated theorem prover automated theorem proving automatic theorem prover automatic theorem proving basket exit level basket extractor threshold basket withdrawal threshold basket-exit threshold circulation theorem circulation theorem of bjerknes hearing threshold mechanical theorem prover mechanical theorem proving proof-finding program prover qualified majority threshold theorem prover theorem proving program threshold activating price threshold for qualified majority decisions threshold for qualified majority voting threshold theorem

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

'threshold theorem'

Date index:2021-12-02 -

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 "threshold theorem " (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)