Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!

Übersetzung für "automated theorem proving " (Englisch → Französisch) :

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

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 ]

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 ]

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

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

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

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

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

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

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

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

Andere haben gesucht : 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

datacenter (1): www.wordscope.de (v4.0.br)

'automated theorem proving' ->

Date index: 2023-10-09