Decision Procedures for Theories of Sets with Measures
Leonardo de Moura (Hrsg). Automated Deduction - CADE-2626th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2017 S. 166 - 184
Erscheinungsjahr: 2017
ISBN/ISSN: 978-3-319-63045-8
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-63046-5_11
| Geprüft | Bibliothek |
Autoren
Bender, Markus (Autor)
Sofronie-Stokkermans, Viorica (Autor)
