- Unifizierung
- Uni|fi|zie|rungdie; -, -en<zu ↑...fizierung>Konsolidierung, Vereinheitlichung, Vereinigung (z. B. von Staatsschulden, Anleihen);vgl. ↑...ation/...ierung.
Das große Fremdwörterbuch. 2013.
Das große Fremdwörterbuch. 2013.
Unifizierung — suvienodinimas statusas T sritis fizika atitikmenys: angl. standardization; unification vok. Unifizierung, f; Vereinheitlichung, f rus. унификация, f; унифицирование, n pranc. unification, f … Fizikos terminų žodynas
Unifizierung — Uni|fi|zie|rung 〈f. 20〉 = Unifikation * * * Uni|fi|zie|rung, die; , en (bes. Fachspr.): das Unifizieren; Vereinheitlichung … Universal-Lexikon
Unifizierung — U|ni|fi|zie|rung 〈f.; Gen.: , Pl.: en〉 = Unifikation … Lexikalische Deutsches Wörterbuch
Unifizierung — ⇡ Konsolidierung … Lexikon der Economics
Unifizierung — Uni|fi|zie|rung (Vereinheitlichung, Vereinigung) … Die deutsche Rechtschreibung
Merkmalsstruktur — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Merkmalstruktur — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Merkmalstrukturen — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Unifikationsgrammatik — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Occurs check — Der Occurs check bezeichnet in der Informatik einen Teil des Unifikationsalgorithmus. Er verhindert, dass eine Variable durch einen Term ersetzt wird, der diese Variable enthält. Anwendung findet er bspw. bei der Typprüfung in funktionalen… … Deutsch Wikipedia