Traduction de «démonstrateur automatique de théorèmes » (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 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]

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

automatic theorem proving [ automated theorem proving ]

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

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

analyse automatique des théorèmes

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

automatic theorem analysis

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'autres ont cherché : analyse automatique des théorèmes 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émonstration automatique de théorèmes démonstration automatisée de théorèmes démonstration mécanique de théorèmes preuve automatique de théorèmes

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

démonstrateur automatique de théorèmes ->

Date index: 2021-01-21