IEEE Symposium on Logic in Computer Science (2003 : Ottawa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ottawa