Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Unifikations-Problem
Examples with "Unifikations-Problem" and their translation in Engels
Eine Problemstellung der letzten Art wird als Unifikations-Problem bezeichnet.
A problem definition of the latter kind is referred to as a unification problem.
Dies ist ein Unifikations-Problem, wie wir es in Abschnitt 2.3.4 schon einmal gesehen haben.
This is a unification problem as we have seen it in Section 2.3.4 before.
Andere resultaten
Dies ist das Anti-Unifikations-Problem welches wir für nominale Terme betrachten.
This is the anti-unification problem we consider for nominal terms.
In dieser Arbeit studieren wir das Anti-Unifikations-Problem in verschiedenen Theorien.
In this work, we study the anti-unification problem for various theories.
Solche Anti-Unifikations-Probleme kommen zum Beispiel in Beweisgeneralisierung, in analogischem Schlußfolgern, im Auffinden von ähnlichkeiten in XML Dokumenten oder Stücken von Softwarecode etc. vor.
Such anti-unification problems arise, for instance, in proof generalization, in analogical reasoning, in detection of similarities in XML documents or in pieces of software code, etc.
Generell ist das nominale Anti-Unifikations-Problem vom Typ Null (d.h., eine minimale komplette Menge von Generalisierungen existiert nicht immer). Wenn jedoch die Menge der erlaubten Atome in einer Generalisierung endlich ist, dann wird das Problem eindeutig lösbar.
In general, the problem of nominal anti-unification is of type zero, (i.e., a minimal complete set of generalizations does not always exist) but if the set of atoms permitted in generalizations is finite, then it becomes unitary.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Unifikations-Problem in het Duits
Resultaten: 6. Exact: 2. Verstreken tijd: 451 ms.
