On Hierarchical Reasoning in Combinations of Theories
Jürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 30 - 45
Erscheinungsjahr: 2010
ISBN/ISSN: 978-3-642-14202-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-14203-1_4
| Geprüft | Bibliothek |
