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

Traduction de «mechanical theorem prover » (Anglais → Français) :

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 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]

non-monotonic theorem prover

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

démonstrateur de théorèmes non monotones

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

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

theorem prover

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

démonstrateur de théorèmes

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

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

brute force theorem prover

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

démonstrateur de théorèmes force brute

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

commonsense theorem prover

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

démonstrateur de théorèmes de sens commun

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

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 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]

D'autres ont cherché : automated theorem prover automated theorem proving automatic deduction automatic theorem prover automatic theorem proving brute force theorem prover commonsense theorem prover mechanical theorem prover mechanical theorem proving non-monotonic theorem prover proof-finding program prover theorem prover theorem proving program

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

'mechanical theorem prover' ->

Date index: 2022-08-14