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
Equational theorem-proving
Informal reasoning
Mechanical theorem prover
Mechanical theorem proving
Natural deduction
Nonresolution theorem proving
Proof-finding program
Prover
Theorem prover
Theorem proving
Theorem proving program

Translation of "automated theorem proving " (English → French) :

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]
automatic theorem proving [ automated theorem proving ]
http://www.btb.termiumplus.gc. (...) (...) [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 ]
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [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]
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 proving
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
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]
equational theorem-proving
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
démonstration de théorèmes équationnels
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
informal reasoning | natural deduction | nonresolution theorem proving
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
déduction naturelle
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 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]
theorem proving
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
démonstration de théorèmes | preuve 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    equational theorem-proving    informal reasoning    mechanical theorem prover    mechanical theorem proving    natural deduction    nonresolution theorem proving    proof-finding program    prover    theorem prover    theorem proving    theorem proving program    


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

'automated theorem proving'

Date index:2021-06-04 -

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)