ausblenden:
Titel:
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics
Kurztitel
:
SOQE 2017
Genre der Quelle:
Konferenzband
Urheber:
Koopmann, Patrick1, Herausgeber
Rudolph, Sebastian1, Herausgeber
Schmidt, Renate A.1, Herausgeber
Wernhard, Christoph1, Herausgeber
Affiliations:
1
External Organizations, ou_persistent22
Ort, Verlag, Ausgabe:
CEUR-WS
Seiten:
-
Band / Heft:
-
Artikelnummer:
16
Start- / Endseite:
67 - 81
Identifikator:
URN: urn:nbn:de:0074-2013-7