Unifikation Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Eine Unifikation (Zusammenführung) ist - in der Logik eine Operation siehe Unifikation
- in der Linguistik eine Operation in einer
- in Unicode die Zusammenführung von als gleich CJK-Zeichen siehe Unicode
Bücher zum Thema Unifikation
Dieser Artikel von Wikipedia unterliegt der GNU FDL.
|