Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
ATP
Automated theorem prover
Automated theorem proving
Automatic theorem prover
Automatic theorem proving
Bell prover
Bjerknes circulation theorem
Brute force theorem prover
Circulation theorem
Circulation theorem of Bjerknes
Commonsense theorem prover
Gas referees'meter prover
Mechanical theorem prover
Mechanical theorem proving
Meter prover
Non-monotonic theorem prover
Proof-finding program
Prover
Theorem prover
Theorem proving program

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

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]
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]
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]
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]
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]
bell prover | gas referees'meter prover | meter prover
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
clepsydre
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
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]
circulation theorem of Bjerknes | circulation theorem | Bjerknes circulation theorem
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
théorème de la circulation de Bjerknes | théorème de la circulation
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]


D'autres ont cherché : bjerknes circulation theorem     automated theorem prover     automated theorem proving     automatic theorem prover     automatic theorem proving     bell prover     brute force theorem prover     circulation theorem     circulation theorem of bjerknes     commonsense theorem prover     gas referees'meter prover     mechanical theorem prover     mechanical theorem proving     meter prover     non-monotonic theorem prover     proof-finding program     prover     theorem prover     theorem proving program     Theorem prover     


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

'Theorem prover' ->

Date index: 2023-05-25
w