Hierarchic Reasoning in Local Theory Extensions.
CADE. 2005 S. 219 - 234
Erscheinungsjahr: 2005
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/11532231_16
Geprüft | Bibliothek |
CADE. 2005 S. 219 - 234
Erscheinungsjahr: 2005
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/11532231_16
Geprüft | Bibliothek |