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
Automatic theorem prover
Brute force theorem prover
Mechanical theorem prover
Non-monotonic theorem prover
Proof-finding program
Prover
Resolution theorem - prover
Theorem prover
Theorem proving program

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

resolution theorem - prover
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
démonstrateur de théorèmes par résolution
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]
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]


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


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

'resolution theorem prover' ->

Date index: 2024-07-08
w