Starten Sie Ihre Suche...


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

Suche


32426 Treffer


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






  • Furbach, Ulrich; Schon, Claudia
  • Commonsense Reasoning meets Theorem Proving
  • Federico Chesani;Paola Mello;Michela Milano (Hrsg). Proceedings of the AI*IA Workshop on URANIA 2016 Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence AIxIA 2016: Genova, Italy, November 28th, 2016. Aachen: CEUR/RWTH 2016 S. 1 - 12




  • Thurnes, Christian M.; Zeihsel, Frank
  • Lean-TRIZ instead of TRIZ Lean
  • ETRIA - The European TRIZ Association (Hrsg). Proceedings of the TRIZ Future Conference 2013. Paris. 2013 S. 789 - 795

  • Troitzsch, Klaus G.; Nardin, Luis G.; Andrighetto, Giulia et al.
  • Calibration and Validation
  • Corinna Elsenbroich;David Anzola;Nigel Gilbert (Hrsg). Social Dimensions of Organised Crime: Modelling the Dynamics of Extortion Rackets. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 217 - 239