International Workshop on Logical Frameworks (1 : 1990 : Sophia Antipolis) Bezüge im Wissensnetz Verfasst (1) DNB-Titeldaten Logical frameworks Creator (1) DNB-Titeldaten Logical frameworks Veranstaltungsort (1) GND Valbonne