Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
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émontreur de théorèmes informatique

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

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


Others have searched : 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émontreur de théorèmes informatique    Démonstrateur automatisé de théorème    


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

Démonstrateur automatisé de théorème

Date index:2022-09-30 -

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)