Starten Sie Ihre Suche...


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

Suche


5905 Treffer


× Publikationen
× < 2021
× Johannes Gutenberg-Universität Mainz
× Universität Koblenz






  • Furbach, Ulrich; Pelzer, Björn; Schon, Claudia
  • Automated Reasoning in the Wild
  • Amy P. Felty;Aart Middeldorp (Hrsg). Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 55 - 72





  • Merklinger, Daniela; Vach, Karin
  • Literarisches Lernen
  • Grundschule Deutsch. H. 48. Seelze: Friedrich Verlag 2015