Starten Sie Ihre Suche...


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

Suche


5499 Treffer


× Publikationen
× Universität Koblenz
× Hochschule Trier
× Hochschule Worms
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen




  • Sofronie-Stokkermans, Viorica
  • On Combinations of Local Theory Extensions
  • Andrei Voronkov;Christoph Weidenbach (Hrsg). Programming Logics: Essays in Memory of Harald Ganzinger. Berlin: Springer 2013 S. 392 - 413