International Workshop on Computer Science Logic (20 : 2006 : Szeged) Bezüge im Wissensnetz Veranstaltungsort (1) GND Szeged