ausblenden:
Titel:
Proceedings of the 31st Annual ACM-IEEE Symposium on
Logic in Computer Science
Kurztitel
:
LICS 2016
Genre der Quelle:
Konferenzband
Urheber:
Affiliations:
Ort, Verlag, Ausgabe:
New York, NY : ACM
Seiten:
-
Band / Heft:
-
Artikelnummer:
-
Start- / Endseite:
86 - 95
Identifikator:
ISBN: 78-1-4503-4391-6