TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
PROVER [3 fiches]
Fiche 1 - données d’organisme interne 2015-04-09
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Breadmaking
Fiche 1, La vedette principale, Anglais
- proofer
1, fiche 1, Anglais, proofer
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- prover 2, fiche 1, Anglais, prover
correct, Grande-Bretagne
- dough proofer 3, fiche 1, Anglais, dough%20proofer
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 DEF
A chamber used in a bakery, where dough is proved in a humid, steamy atmosphere. 1, fiche 1, Anglais, - proofer
Record number: 1, Textual support number: 1 OBS
The term "proofer" is a short form for either "intermediate proofer" or "final proofer"; both types have many subtypes. 4, fiche 1, Anglais, - proofer
Fiche 1, Français
Fiche 1, Domaine(s)
- Boulangerie
Fiche 1, La vedette principale, Français
- étuve de fermentation
1, fiche 1, Français, %C3%A9tuve%20de%20fermentation
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- chambre-étuve de fermentation 1, fiche 1, Français, chambre%2D%C3%A9tuve%20de%20fermentation
correct, nom féminin
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 CONT
Étuve de fermentation pour le pain, à système d'air conditionné contrôlé. 1, fiche 1, Français, - %C3%A9tuve%20de%20fermentation
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2011-02-14
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Measuring Instruments
Fiche 2, La vedette principale, Anglais
- calibrator 1, fiche 2, Anglais, calibrator
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- prover 2, fiche 2, Anglais, prover
Fiche 2, Français
Fiche 2, Domaine(s)
- Appareils de mesure
Fiche 2, La vedette principale, Français
- étalon
1, fiche 2, Français, %C3%A9talon
nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- appareil étalon 2, fiche 2, Français, appareil%20%C3%A9talon
nom masculin
- appareil d'étalonnage 3, fiche 2, Français, appareil%20d%27%C3%A9talonnage
nom masculin
- étalonneur 4, fiche 2, Français, %C3%A9talonneur
nom masculin
Fiche 2, Justifications, Français
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 1994-09-09
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
Fiche 3, La vedette principale, Anglais
- theorem prover
1, fiche 3, Anglais, theorem%20prover
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
- prover 2, fiche 3, Anglais, prover
correct
- automatic theorem prover 3, fiche 3, Anglais, automatic%20theorem%20prover
correct
- theorem proving program 4, fiche 3, Anglais, theorem%20proving%20program
correct
- proof-finding program 4, fiche 3, Anglais, proof%2Dfinding%20program
correct
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
Programs that have proved theorems. 4, fiche 3, Anglais, - theorem%20prover
Record number: 3, Textual support number: 1 CONT
The exploration of the search space (i.e. the proof model) is managed by a theorem prover ... Starting from the data representing the problem hypotheses, the prover produces ... all the facts that can be deduced from the theory. 5, fiche 3, Anglais, - theorem%20prover
Record number: 3, Textual support number: 2 CONT
The counterexample found above was found by a heuristic filter to the theorem prover called the conjecture disprover. 6, fiche 3, Anglais, - theorem%20prover
Fiche 3, Terme(s)-clé(s)
- theorem proving programme
- proof-finding programme
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
Fiche 3, La vedette principale, Français
- démonstrateur de théorème
1, fiche 3, Français, d%C3%A9monstrateur%20de%20th%C3%A9or%C3%A8me
correct, nom masculin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
- démonstrateur automatique de théorèmes 2, fiche 3, Français, d%C3%A9monstrateur%20automatique%20de%20th%C3%A9or%C3%A8mes
correct, nom masculin
- démonstrateur 3, fiche 3, Français, d%C3%A9monstrateur
correct, nom masculin
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 DEF
Programme de démonstration de clauses logiques. 3, fiche 3, Français, - d%C3%A9monstrateur%20de%20th%C3%A9or%C3%A8me
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :