Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Boris Konev; Frank Wolter (Hrsg). Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings. Berlin: Springer 2007 S. 47 - 71
Erscheinungsjahr: 2007
ISBN/ISSN: 978-3-540-74620-1
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-74621-8_3
| Geprüft | Bibliothek |
