969 resultados para Berlin (Germany). Nationalgalerie.
Resumo:
23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science