ausblenden:
Titel:
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference
Kurztitel
:
SC-Square 2018
Andere
:
FLoC 2018
Genre der Quelle:
Konferenzband
Urheber:
Bigatti, Anna M.1, Herausgeber
Brain, Martin1, Herausgeber
Affiliations:
1
External Organizations, ou_persistent22
Ort, Verlag, Ausgabe:
CEUR-WS
Seiten:
-
Band / Heft:
-
Artikelnummer:
3
Start- / Endseite:
110 - 117
Identifikator:
URN: urn:nbn:de:0074-2189-9