International Workshop "Logic, Domains, and Programming Languages" (1995 : Darmstadt) Bezüge im Wissensnetz Veranstaltungsort (1) GND Darmstadt