Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Analyse automatique des théorèmes
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émonstration automatique de théorèmes
Démonstration automatisée de théorèmes
Démonstration mécanique de théorèmes
Preuve automatique de théorèmes

Translation of "démonstrateur automatique 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 | 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é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 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 ]
Intelligence artificielle
Artificial Intelligence
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
analyse automatique des théorèmes
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
automatic theorem analysis
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 : analyse automatique des théorèmes    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émonstration automatique de théorèmes    démonstration automatisée de théorèmes    démonstration mécanique de théorèmes    preuve automatique de théorèmes    


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

démonstrateur automatique de théorème

Date index:2023-04-08 -

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)