Decision Procedures for Theories of Sets with Measures.
CADE. 2017 S. 166 - 184
Erscheinungsjahr: 2017
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-319-63046-5_11
Geprüft | Bibliothek |
CADE. 2017 S. 166 - 184
Erscheinungsjahr: 2017
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-319-63046-5_11
Geprüft | Bibliothek |