unifízierung
11Occurs 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… …
12Wissenstechnologie — Die Wissenstechnologie ist eine Bezeichnung für die Verbindung einer Sammlung von zum Teil über zweitausend Jahre alten formalen Methoden zur Wissensgewinnung und nutzung mit modernen Verfahren der Wissensverarbeitung und der Mathematik.… …
13Unifikation — Uni|fi|ka|ti|on 〈f. 20; veraltet〉 Vereinigung, Vereinheitlichung; Sy Unifizierung [→ unifizieren] * * * Uni|fi|ka|ti|on, die; , en (bes. Fachspr.): Unifizierung …
14Gemeintschechisch — (tschechisch obecná čeština) ist die mündliche Form der tschechischen Sprache, die in der alltäglichen Kommunikation verwendet wird. Das Gemeintschechische wird allgemein als Interdialekt definiert, der in Böhmen und Westmähren verbreitet ist. Es …
15УНИФИКАЦИЯ — приведение разнообразных типов сооружений, конструкций и их элементов к небольшому числу наиболее рациональных единообразных по форме и размерам типов с целью обеспечения взаимозаменяемости (Болгарский язык; Български) унификация; унифициране… …
16УНИФИКАЦИЯ — (от лат. unus один и facto делать) англ. unification; нем. Unifizierung. Приведение ч. л. к единой системе, форме, к единообразию. Antinazi. Энциклопедия социологии, 2009 …
17Konsolidierung (Finanzwesen) — Konsolidierung (oder Konsolidation) ist im Finanzwesen die Umwandlung kurzfristiger Schulden in langfristige. Inhaltsverzeichnis 1 Allgemeines 2 Durchführung 3 Rechtsfragen 4 Abgr …
18Unifikation — U|ni|fi|ka|ti|on 〈f.; Gen.: , Pl.: en〉 Vereinigung, Vereinheitlichung; Syn. Unifizierung [Etym.: <lat. unus »ein« + …fikation] …
19Konsolidierung — Konsolidation. I. Finanzwissenschaft:Begrenzung und Rückführung von öffentlichen ⇡ Defiziten in den Haushalten der Gebietskörperschaften und ⇡ Parafisci. II. Betriebswirtschaftslehre:1. Transformation von Schulden in Eigenkapital oder… …
20Unifikation — Uni|fi|ka|ti|on die; , en <zu ↑unifizieren u. ↑...ation>: 1. svw. ↑Unifizierung. 2. das Gleichmachen von zwei Fakten durch Ersetzen der Variablen durch Terme (EDV); vgl. ↑...ation/...ierung …