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

intelligence artificielle

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

philosophie > théorie de la connaissance | intelligence artificielle

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

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

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

Infographie

Computer Graphics

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

Intelligence artificielle

Artificial Intelligence

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

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

lieu historique national du Fort-Numéro-Un-de-la-Pointe-de-Lévy [ parc historique national du Fort-Numéro-Un-de-la-Pointe-de-Lévy | lieu historique national du Fort-Numéro-Un | parc historique national du Fort-Numéro-Un de la Pointe Lévis ]

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

Fort No. 1 at Pointe de Lévy National Historic Site [ Fort No. 1 at Pointe de Lévy National Historic Park | Fort No. 1 National Historic Site | Fort No. 1, Pointe Lévis National Historic Park ]

Toponymes (Canada) | Noms de parcs, lieux et canaux historiques

Place Names (Canada) | Historical Park and Site Names

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

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

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

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

theorem base

intelligence artificielle

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

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

syndrome de Roussy-Lévy

https://browser.ihtsdotools.or (...) (...) [HTML] [2018-01-01]