Traduction de «Démonstrateur de théorème » (Français → Anglais) :

démonstrateur de théorème [ démonstrateur automatique de théorèmes | démonstrateur ]

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]

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

démonstrateur de théorèmes polyvalent [ démonstrateur de théorèmes universel ]

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

general-purpose theorem prover

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

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

démonstrateur de théorèmes | démonstration automatique de théorèmes

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

automatic deduction | mechanical theorem proving

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

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

démonstrateur de théorèmes par ordinateur [ démontreur de théorèmes informatique ]

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

computer-based theorem prover

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

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

démonstrateur de théorèmes non monotones

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

non-monotonic theorem prover

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

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

démonstrateur de théorèmes

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

theorem prover

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

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

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]

automatic theorem prover | ATP | mechanical theorem prover | automated theorem prover

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

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

conseillère | démonstrateur | conseiller | démonstrateur/démonstratrice

https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]

department store promotions demonstrator | hypermarket sales demonstrator | garden centre sales demonstrator | promotions demonstrator

https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]

https://ec.europa.eu/esco/port (...) [HTML] [2017-12-31]

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]

automatic theorem proving | automated theorem proving | mechanical theorem proving

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

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]

theorem proving

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é : conseiller conseillère démonstrateur démonstrateur automatique de théorème démonstrateur automatique de théorèmes démonstrateur automatisé de théorème démonstrateur de théorème démonstrateur de théorèmes démonstrateur de théorèmes non monotones démonstrateur de théorèmes par ordinateur démonstrateur de théorèmes polyvalent démonstrateur de théorèmes universel démonstration automatique de théorèmes démonstration automatisée de théorèmes démonstration de théorèmes démonstration mécanique de théorèmes démontreur de théorèmes informatique preuve automatique de théorèmes preuve de théorème preuve de théorèmes Démonstrateur de théorème

datacenter (12): www.wordscope.ca (v4.0.br)

Démonstrateur de théorème ->

Date index: 2022-08-17