Exemples d'utilisation de "resolution theorem proving" en anglais
The image quality is really bad - the resolution is so low.
La qualité d'image est vraiment mauvaise - la résolution est si basse.
Note that this theorem does not assume the existence of such an object.
Notez bien que ce théorème ne présuppose pas l'existence d'un tel objet.
A watered down compromise resolution is better than none at all.
Une résolution sur un compromis restreint est préférable à rien du tout.
The final value theorem does not apply if the system is not stable.
Le théorème de la valeur finale ne s'applique pas si le système n'est pas stable.
Obviously, the theorem is true for finite sets.
Évidemment, le théorème est vrai pour les ensembles finis.
This United Nations resolution calls for the withdrawal of Israel armed forces from territories occupied in the recent conflict.
Cette résolution des Nations Unies appelle au retrait des forces armées israéliennes des territoires occupés dans le récent conflit.
Now, we show how this lemma can be used to prove our main theorem.
Montrons maintenant comment ce lemme peut être utilisé pour démontrer notre théorème principal.
Pythagoras' theorem says that the square of the hypotenuse is equal to the sum of the squares of the other two sides.
Le théorème de Pythagore dit que dans un triangle rectangle le carré de l'hypoténuse est égal à la somme des carrés des deux autres cotés.
Pythagoras' theorem allows you to calculate the length of the hypotenuse of a right triangle.
Le théorème de Pythagore permet de calculer la longueur de l'hypoténuse d'un triangle rectangle.
Les exemples sont fournis uniquement à des fins linguistiques, c'est-à-dire pour étudier l'utilisation de mots dans une langue et leurs traductions dans une autre. Ils sont extraits automatiquement des sources ouvertes en utilisant des algorithmes de recherche de données bilingues. Si vous trouvez une erreur d'orthographe, de ponctuation ou autre soit dans l'original ou dans la traduction, utilisez l'option "Signaler un problème" ou écrivez-nous.
Dans cette section, vous pouvez voir comment les mots et les expressions sont utilisés dans différents contextes à l'aide d'exemples de traductions faites par des professionnels. La section Contextes vous aidera à apprendre l'anglais, l'allemand, l'espagnol et d'autres langues. Vous trouverez ici des exemples de verbes à particule et d'expressions idiomatiques dans des textes dont le style et le thème varient. Les exemples peuvent être triés par traductions et domaines thématiques.
Apprenez des langues étrangères, découvrez les traductions de millions de mots et d'expressions avec des exemples réels de leur utilisation grâce à notre technologie de recherche bilingue !
La publicité