International Workshop on Unification (27. : 2013 : Eindhoven) Bezüge im Wissensnetz Veranstaltungsort (1) GND Eindhoven Homepage (1) GND UNIF2013