On Interpolation and Symbol Elimination in Theory Extensions.
IJCAR. 2016 S. 273 - 289
Erscheinungsjahr: 2016
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-319-40229-1_19
Geprüft | Bibliothek |
IJCAR. 2016 S. 273 - 289
Erscheinungsjahr: 2016
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-319-40229-1_19
Geprüft | Bibliothek |