Starten Sie Ihre Suche...


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

Suche


21398 Treffer


× Universität Koblenz


  • Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.
  • Semantically Guided Theorem Proving for Diagnosis Applications
  • Martha E. Pollack (Hrsg). Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence IJCAI 1997: Nagoya, Japan; August 23-29, 1997; Volume 1. San Francisco, CA: Morgan Kaufmann Publishers 1997 S. 460 - 465



  • Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
  • A Comparative Evaluation of Requirement Template Systems (Summary)
  • Rick Rabiser;Manuel Wimmer;Iris Groher;Andreas Wortmann;Bianca Wiesmayr (Hrsg). Software Engineering 2024 SE Proceedings: 26. Februar-1. März, 2024; Linz, Österreich. Bonn: Gesellschaft für Informatik 2024 S. 47 - 48





  • Tavernier, Ludwig
  • Bössenroth, Carl (1862-1935)
  • Günter Meißner;Andreas Beyer;Bénédicte Savoy;Wolf Tegethoff (Hrsg). Allgemeines Künstlerlexikon (AKL): Die Bildenden Künstler aller Zeiten und Völker; Band 12, Bobrov - Bordacev. München: Saur 1996