Discover ChatGPT for Translators

Translation of "base de théorèmes " (French → English) :

base de théorèmes | base des théorèmes

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

theorem base

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

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

base des théorèmes

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

theorem base

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]

théorème de Wiener-Khinchine | théorème de Wiener-Khintchine | théorème de Wiener-Kintchine

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

Wiener-Khintchine theorem

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 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]

théorème central limite [ théorème limite central | théorème de la limite centrale ]

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

central limit theorem

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

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

théorème de Gödel | théorème d'incomplétude de Gödel

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

Gödel's theorem

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

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

théorème HOS | théorème de Hecksher, Ohlin , Samuelson

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

Heckscher-Ohlin model | Heckscher-Ohlin-Samuelson Model | Hecksher-Ohlin-Samuelson | HOS [Abbr.]

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

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

concepteur de base de données | intégrateur de base de données | intégrateur de base de données/intégratrice de base de données | responsable de base de données

https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]

data base integrator | database integrators | data base integrators | database integrator

https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]

https://ec.europa.eu/esco/port (...) [HTML] [2017-12-31]

Others have searched : base de théorèmes base des théorèmes concepteur de base de données 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 intégrateur de base de données intégrateur de base de données intégratrice de base de données preuve automatique de théorèmes preuve de théorème preuve de théorèmes responsable de base de données théorème hos théorème central limite théorème d'incomplétude de gödel théorème de gödel théorème de hecksher ohlin samuelson théorème de wiener-khinchine théorème de wiener-khintchine théorème de wiener-kintchine théorème de la limite centrale théorème limite central

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

base de théorèmes ->

Date index: 2021-10-11