Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions.
FroCoS. 2007 S. 47 - 71
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-74621-8_3
Geprüft | Bibliothek |
FroCoS. 2007 S. 47 - 71
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-74621-8_3
Geprüft | Bibliothek |