Interpolation in Local Theory Extensions
Ulrich Furbach; Natarajan Shankar (Hrsg). Automated Reasoning: Third International Joint Conference, IJCAR 2006; Seattle, WA, USA; August 17-20, 2006. Proceedings. Berlin: Springer 2006 S. 235 - 250
Erscheinungsjahr: 2006
ISBN/ISSN: 978-3-540-37188-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/11814771_21
| Geprüft | Bibliothek |
