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

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [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

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

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

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

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [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

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

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 informal reasoning mechanical theorem prover mechanical theorem proving natural deduction nonresolution theorem proving proof-finding program prover theorem prover theorem proving theorem proving program Mechanical theorem proving

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

'Mechanical theorem proving'

Date index:2022-08-11 -

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)

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

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)

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)