Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Anti-bullying program
Automatic theorem prover
Bully-proofing program
Bullying prevention program
Bullyproofing program
Case-finding program
Case-finding programme
Consequence finding program
Proof-finding program
Prover
Theorem prover
Theorem proving program

Translation of "Proof-finding program " (English → French) :

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]
case-finding program [ case-finding programme ]
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
programme de dépistage
Epidemiology
Épidémiologie
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
consequence finding program
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
programme sélecteur de conséquences
Computer Programs and Programming
Programmes et programmation (Informatique)
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
bullying prevention program | anti-bullying program | bullyproofing program | bully-proofing program
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
programme de prévention de l'intimidation | programme de lutte contre l'intimidation | programme anti-intimidation | programme pour contrer l'intimidation
psychologie > psychologie sociale | éducation
psychologie > psychologie sociale | éducation
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]


Others have searched : anti-bullying program    automatic theorem prover    bully-proofing program    bullying prevention program    bullyproofing program    case-finding program    case-finding programme    consequence finding program    proof-finding program    prover    theorem prover    theorem proving program    Proof-finding program    


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

'Proof-finding program'

Date index:2023-05-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)