Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


9049 Treffer


× Publikationen
× Johannes Gutenberg-Universität Mainz
× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Universität Koblenz
× Technische Hochschule Bingen
× Theologische Fakultät Trier
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen





  • Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
  • 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