Neuzugänge

zu den Filteroptionen
 
vom 4.8.2017
  • Titelblatt
    Kiesl, Benjamin ; Suda, Martin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin
    In: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Jg. 46, S. 31-48
    Accepted version,
vom 2.8.2017
vom 1.8.2017
  • Titelblatt
    Ofner, Johannes ; Brenner, Florian ; Wieland, Karin ; Eitenberger, Elisabeth ; Kirschner, Johannes ; Eisenmenger-Sittner, Christoph ; Török, Szilvia ; Döme, Balazs ; Konegger, Thomas ; Kasper-Giebl, Anne ; Hutter, Herbert ; Friedbacher, Gernot ; Lendl, Bernhard ; Lohninger, Hans
    In: Scientific Reports, Jg. 7, H. 6832, S. 1-11
    Published version,
vom 21.7.2017