Starten Sie Ihre Suche...


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

Suche


90862 Treffer


× Publikationen
× Johannes Gutenberg-Universität Mainz
× Universität Koblenz
× Hochschule Mainz
× Theologische Fakultät Trier
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen






  • Bender, Markus; Sofronie-Stokkermans, Viorica
  • Decision Procedures for Theories of Sets with Measures
  • Leonardo de Moura (Hrsg). Automated Deduction - CADE-2626th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2017 S. 166 - 184