Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Conseiller
Conseillère
Démonstrateur
Démonstrateur automatique de théorème
Démonstrateur automatique de théorèmes
Démonstrateur automatisé de théorème
Démonstrateur de théorème
Démonstrateur de théorèmes
Démonstrateur de théorèmes non monotones
Démonstrateur de théorèmes par ordinateur
Démonstrateur de théorèmes polyvalent
Démonstrateur de théorèmes universel
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
Démontreur de théorèmes informatique
Preuve automatique de théorèmes
Preuve de théorème
Preuve de théorèmes

Translation of "Démonstrateur de théorème " (French → English) :

démonstrateur de théorème [ démonstrateur automatique de théorèmes | démonstrateur ]
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
theorem prover [ prover | automatic theorem prover | theorem proving program | proof-finding program ]
Intelligence artificielle
Artificial Intelligence
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
démonstrateur de théorèmes polyvalent [ démonstrateur de théorèmes universel ]
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
general-purpose theorem prover
Intelligence artificielle
Artificial Intelligence
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
démonstrateur de théorèmes | démonstration automatique de théorèmes
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
automatic deduction | mechanical theorem proving
IATE - Information technology and data processing
IATE - Information technology and data processing
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]
démonstrateur de théorèmes par ordinateur [ démontreur de théorèmes informatique ]
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
computer-based theorem prover
Intelligence artificielle
Artificial Intelligence
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
démonstrateur de théorèmes non monotones
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
non-monotonic theorem prover
IATE - Information technology and data processing
IATE - Information technology and data processing
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]
démonstrateur de théorèmes
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
theorem prover
IATE - Information technology and data processing
IATE - Information technology and data processing
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]
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]
automatic theorem prover | ATP | mechanical theorem prover | automated theorem prover
intelligence artificielle
intelligence artificielle
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]
conseillère | démonstrateur | conseiller | démonstrateur/démonstratrice
https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]
department store promotions demonstrator | hypermarket sales demonstrator | garden centre sales demonstrator | promotions demonstrator
Personnel des services directs aux particuliers, commerçants et vendeurs
Service and sales workers
https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]
https://ec.europa.eu/esco/port (...) [HTML] [2017-12-31]
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
intelligence artificielle
intelligence artificielle
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]
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
philosophie > théorie de la connaissance | intelligence artificielle
philosophie > théorie de la connaissance | intelligence artificielle
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]


Others have searched : conseiller    conseillère    démonstrateur    démonstrateur automatique de théorème    démonstrateur automatique de théorèmes    démonstrateur automatisé de théorème    démonstrateur de théorème    démonstrateur de théorèmes    démonstrateur de théorèmes non monotones    démonstrateur de théorèmes par ordinateur    démonstrateur de théorèmes polyvalent    démonstrateur de théorèmes universel    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    démontreur de théorèmes informatique    preuve automatique de théorèmes    preuve de théorème    preuve de théorèmes    Démonstrateur de théorème    


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

Démonstrateur de théorème

Date index:2021-04-28 -

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)