Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
ATP
Automated theorem prover
Automated theorem proving
Automatic deduction
Automatic theorem prover
Automatic theorem proving
Brute force theorem prover
Commonsense theorem prover
Mechanical theorem prover
Mechanical theorem proving
Non-monotonic theorem prover
Proof-finding program
Prover
Theorem prover
Theorem proving program

Translation of "automatic theorem prover " (English → French) :

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
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]
theorem prover
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
démonstrateur de théorèmes
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]
non-monotonic theorem prover
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
démonstrateur de théorèmes non monotones
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]
automatic theorem proving | automated theorem proving | mechanical theorem proving
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [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
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]
brute force theorem prover
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
démonstrateur de théorèmes force brute
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
commonsense theorem prover
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
démonstrateur de théorèmes de sens commun
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
automatic deduction | mechanical theorem proving
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
démonstrateur de théorèmes | démonstration automatique de théorèmes
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 : automated theorem prover    automated theorem proving    automatic deduction    automatic theorem prover    automatic theorem proving    brute force theorem prover    commonsense theorem prover    mechanical theorem prover    mechanical theorem proving    non-monotonic theorem prover    proof-finding program    prover    theorem prover    theorem proving program    


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

'automatic theorem prover'

Date index:2023-10-15 -

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)