Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Automated theorem proving
Automatic deduction
Automatic theorem prover
Automatic theorem proving
Direct proving press
Equational theorem-proving
Galley press
Informal reasoning
Mechanical theorem proving
Natural deduction
Nonresolution theorem proving
Proof press
Proof-finding program
Prove by means of accounts and records
Prover
Proving and reversing press
Proving press
Ready proof press
Reversing press
Theorem prover
Theorem proving
Theorem proving program
Transfer press

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

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]
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]
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]
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]
proof press | proving press | ready proof press | direct proving press | galley press | proving and reversing press | reversing press | transfer press
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
presse à épreuves | presse à épreuve | presse à contre-épreuves | presse à décalquer | presse de report
imprimerie > machinerie et outillage d'impression
imprimerie > machinerie et outillage d'impression
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]
prove by means of accounts and records
https://www.termdat.bk.admin.c (...) (...) [HTML] [2018-01-01]
prouver par des documents comptables et des pièces justificatives
Financial affairs, taxation & customs | Law, legislation & jurisprudence
Impôts (Finances, impôts et douanes) | Douanes (Finances, impôts et douanes) | Droit financier et droit fiscal (Droit)
https://www.termdat.bk.admin.c (...) (...) [HTML] [2018-01-01]
https://www.termdat.bk.admin.c (...) [HTML] [2018-01-01]


Others have searched : automated theorem proving    automatic deduction    automatic theorem prover    automatic theorem proving    direct proving press    equational theorem-proving    galley press    informal reasoning    mechanical theorem proving    natural deduction    nonresolution theorem proving    proof press    proof-finding program    prover    proving and reversing press    proving press    ready proof press    reversing press    theorem prover    theorem proving    theorem proving program    transfer press    


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

'theorem proving'

Date index:2023-01-09 -

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)