Starten Sie Ihre Suche...


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

Suche


26660 Treffer


× Universität Koblenz
× Hochschule Mainz
× Katholische Hochschule Mainz
× Theologische Fakultät Trier









  • 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