Verwendungsbeispiele von "resolution theorem proving" im Englischen mit Übersetzung ins Französische

<>
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.
We balloted for the resolution. La résolution fut mise en ballottage.
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.
Resolution of Disputes Règlement des différends
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.
Security & Resolution Center Centre de sécurité et de résolution
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.
Beispiele für den Wortgebrauch in verschiedenen Kontexten werden ausschließlich zu linguistischen Zwecken bereitgestellt, d. h. um den Wortgebrauch in einer Sprache und Varianten ihrer Übersetzung in eine andere zu untersuchen. Alle Beispiele werden automatisch aus offenen Quellen mit Hilfe einer zweisprachigen Suchtechnologie gesammelt. Wenn Sie einen Rechtschreib-, Zeichensetzungs- oder anderen Fehler im Original oder in der Übersetzung finden, nutzen Sie die Option „Problem melden“ oder schreiben Sie uns.

Was ist Übersetzung im Kontext auf PROMT.One?

Der Bereich „Kontexte“ auf PROMT.One ist Ihr Tool für Übersetzung im Kontext und hilft Ihnen, echte Beispiele für die Verwendung von Wörtern und Ausdrücken zu finden. Geben Sie einfach ein Wort ein, und der Dienst zeigt Ihnen die Übersetzung im Kontext – Sätze aus zweisprachigen Quellen, in denen dieses Wort zusammen mit seiner Übersetzung in die Zielsprache vorkommt. So verstehen Sie Bedeutungsnuancen besser und sehen, wie das Wort korrekt verwendet wird – ganz gleich, ob es sich um einen seltenen Fachbegriff oder eine gängige Alltagsformulierung handelt.

Millionen von Verwendungsbeispielen aus echten Texten

Millionen von Übersetzungsbeispielen werden automatisch aus bereits übersetzten Texten gesammelt: aus Dokumenten, Websites, Büchern, Filmdialogen und vielem mehr. Dadurch sehen Sie ein Wort in ganz unterschiedlichen Situationen – vom formell-geschäftlichen Stil bis hin zur Umgangssprache. Zur besseren Übersicht können Sie die Ergebnisse nach einer bestimmten Übersetzung oder nach Thema filtern und zusätzlich in den gefundenen Beispielen suchen, um den benötigten Kontext schnell zu finden.

Wie Übersetzung im Kontext beim Sprachenlernen hilft

Wenn Sie den Bereich „Kontexte“ nutzen, erweitern Sie Ihren Wortschatz besonders effektiv. Der Service zeigt anschaulich, wie Redewendungen, Verbverbindungen und mehrdeutige Wörter in verschiedenen Zusammenhängen übersetzt werden. So wird das Sprachenlernen einfacher: Sie merken sich neue Wörter zusammen mit ihrem tatsächlichen Gebrauch und sehen sofort eine korrekte Übersetzung in einer lebendigen, authentischen Sprache. Nutzen Sie die Möglichkeiten der Übersetzung im Kontext auf PROMT.One – so macht Sprachenlernen noch mehr Spaß!

PROMT Professional NMT

PROMT Professional NMT

Versuchen Sie Offline-Übersetzer für Ihren PC&Laptop

Herunterladen

PROMT Master NMT

PROMT Master NMT

Übersetzen Sie Dokumente

Herunterladen