The Government of Canada’s terminology and linguistic data bank.
See also the record "theorem proving". 2, record 1, English, - proving%20procedure
Voir aussi la fiche "démonstration de théorèmes. 2, record 1, French, - proc%C3%A9dure%20de%20d%C3%A9monstration
© Public Services and Procurement Canada, 2023
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth
of information that will help you write better in English and French.
Access Translation Bureau glossaries and vocabularies.