IEEE Annual Symposium on Foundations of Computer Science (54. : 2013 : Berkeley, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Berkeley, Calif.