Traduction de «preuve de théorèmes » (Français → Anglais) :

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émonstration de théorèmes | preuve de théorèmes

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

theorem proving

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

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

démonstration de théorèmes [ preuve de théorèmes ]

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

theorem proving

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

http://www.btb.termiumplus.gc. (...) [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]

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]

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

documentary evidence | written evidence

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

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

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

circumstantial evidence | evidence by common repute | hearsay evidence | indirect evidence

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

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

théorème central limite [ théorème limite central | théorème de la limite centrale ]

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

central limit theorem

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

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

preuve [ charge de la preuve ]

http://eurovoc.europa.eu/drupa (...) (...) [HTML] [2017-12-31]

proof [ onus of proof ]

http://eurovoc.europa.eu/drupa (...) (...) [HTML] [2017-12-31]

http://eurovoc.europa.eu/drupa (...) [HTML] [2017-12-31]

base de théorèmes | base des théorèmes

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

theorem base

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é : base de théorèmes base des théorèmes charge de la preuve document probant document probatoire 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 preuve preuve authentique preuve automatique de théorèmes preuve circonstancielle preuve de théorème preuve de théorèmes preuve des circonstances preuve documentaire preuve indirecte preuve littérale preuve par commune renommée preuve par documents preuve par indices preuve par ouï-dire preuve par titre preuve écrite théorème central limite théorème de la limite centrale théorème limite central témoignage écrit

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

preuve de théorèmes ->

Date index: 2023-03-08