Starten Sie Ihre Suche...


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

Suche


6075 Treffer


× Technische Hochschule Bingen
× Hochschule Koblenz
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen



  • Leyendecker, Bert
  • Datenanalyse im großen Stil
  • Qualität und Zuverlässigkeit : QZ : die Zeitschrift für Qualitätsmanagement und Qualitätssicherung. Bd. 68. H. 8. 2023 S. 66

  • Fiedler, Armin
  • Natural Language Proof Explanation
  • Hutter, Dieter; Stephan, Werner (Hrsg). Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Berlin: Springer 2005 S. 342 - 363 (Lecture Notes in Computer Science (LNCS) ; 2605 / Lecture Notes in Artificial Intelligence (LNAI) ; 2605)