Showing 1 - 5 results of 5 for search 'Edelkamp, Stefan', query time: 0.11s Refine Results
  1. 1
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
    Published 2007
    Other Authors: “…Edelkamp, Stefan…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    Published 2007
    Other Authors: “…Edelkamp, Stefan…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    KI 2011: Advances in Artificial Intelligence 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings /
    Published 2011
    Other Authors: “…Edelkamp, Stefan…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers /
    Published 2016
    Other Authors: “…Edelkamp, Stefan…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers /
    Published 2017
    Other Authors: “…Edelkamp, Stefan…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search