On Hierarchical Reasoning in Combinations of Theories.
IJCAR. 2010 S. 30 - 45
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-14203-1_4
Geprüft | Bibliothek |
IJCAR. 2010 S. 30 - 45
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-14203-1_4
Geprüft | Bibliothek |