Workshop Toward Unification and Its Verification (1984 : Takayama, Gifu-ken) Bezüge im Wissensnetz Veranstaltungsort (1) GND Takayama (Gifu-ken)