Starten Sie Ihre Suche...


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

Suche


105247 Treffer


× Johannes Gutenberg-Universität Mainz
× Universität Koblenz
× Hochschule Mainz
× Hochschule Worms


  • Horbach, Matthias; Sofronie-Stokkermans, Viorica
  • Obtaining Finite Local Theory Axiomatizations via Saturation
  • Pascal Fontaine;Christophe Ringeissen;Renate A. Schmidt (Hrsg). Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer 2013 S. 198 - 213

  • Sofronie-Stokkermans, Viorica
  • On Combinations of Local Theory Extensions
  • Andrei Voronkov;Christoph Weidenbach (Hrsg). Programming Logics: Essays in Memory of Harald Ganzinger. Berlin: Springer 2013 S. 392 - 413


  • Loepp, Benedikt; Hussein, Tim; Ziegler, Jürgen
  • Interaktive Empfehlungsgenerierung mit Hilfe latenter Produktfaktoren
  • Susanne Boll;Susanne Maaß;Rainer Malaka (Hrsg). Mensch & Computer 2013 – Tagungsband 13. fachübergreifende Konferenz für interaktive und kooperative Medien; 8. bis 11. September 2013 in Bremen. München: Oldenbourg 2013 S. 17 - 26





  • Hopfgartner, Frank; Kazai, Gabriella; Kruschwitz, Udo et al.
  • Workshop on Gamification for Information Retrieval (GamifIR’14)
  • Maarten Rijke;Tom Kenter;Arjen P. Vries;ChengXiang Zhai;Franciska Jong;Kira Radinsky;Katja Hofmann (Hrsg). Advances in Information Retrieval: 36th European Conference on IR Research, ECIR 2014, Amsterdam, The Netherlands, April 13-16, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 806 - 809