Symbolic Rewriting Techniques Workshop (1995 : Ascona) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ascona