TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 CONT

In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever.  2, record 1, English, - halting%20problem

Record number: 1, Textual support number: 2 CONT

All resolution search strategies are subject to a version of the halting problem, for search is not guaranteed to terminate unless there actually is a proof.  3, record 1, English, - halting%20problem

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 CONT

En théorie de la calculabilité, le problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique et d'une entrée, si le programme s'arrête avec cette entrée ou non.  3, record 1, French, - probl%C3%A8me%20de%20l%27arr%C3%AAt

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 CONT

Another new technology quickly gaining acceptance is the "soft proof"(or "collaborative proof" or "remote proof"), in which your printer sends you a high-res [high-resolution] digital version of your actual plating and proofing files over the Internet. You check the proof on-screen and then return it on-line with annotated corrections. This is particularly efficient if the job requires approvals from many people. It also removes couriers and idle wait time from the workflow since it is an immediate, two-way transfer of the proof.  1, record 2, English, - soft%20proof

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 CONT

Il existe deux types d'épreuve à distance: sur un support ou sur écran. Les épreuves sur un support requièrent qu'un fichier numérique soit transmis à une imprimante avec des spécifications matérielles. Lorsque l'exactitude des couleurs est moins prioritaire, une épreuve-écran devient possible.  1, record 2, French, - %C3%A9preuve%20%C3%A0%20distance

Record 2,  Textual support,  Spanish

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 OBS

proof version of a coin  1, record 3, English, - proof%20version

Record 3,  Textual support,  French

Record number: 3, Textual support number: 1 OBS

version : le même motif ou sujet peut être frappé sur des pièces de qualités différentes. Ainsi, le huart figurant sur le dollar de monnaie courante apparaît également sur des pièces aux finis épreuve numismatique, spécimen et hors-circulation. Chacune est une version d'un même thème; on dit communément «pièce d'un (ou de un) dollar en version épreuve numismatique, spécimen ou hors-circulation» ou «version épreuve numismatique, spécimen ou hors-circulation» de la pièce d'un (ou de un) dollar.  1, record 3, French, - version%20%C3%A9preuve%20numismatique

Record number: 3, Textual support number: 2 OBS

version épreuve numismatique d'une pièce; version de qualité épreuve numismatique d'une pièce  1, record 3, French, - version%20%C3%A9preuve%20numismatique

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 DEF

Default if-then rules (axioms) and action operators which represent what is typically true in a real-world domain.  2, record 4, English, - domain%20theory

Record number: 4, Textual support number: 1 CONT

The analytic approach... involves a two-step process. First, one uses the domain theory to construct an explanation.... The second step involves... finding the most general version of the existing proof consistent with the domain theory.  3, record 4, English, - domain%20theory

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 CONT

L'apprentissage est ici analytique, puisqu'il repose largement sur une théorie du domaine.  1, record 4, French, - th%C3%A9orie%20du%20domaine

Record 4,  Textual support,  Spanish