Search results for: Edelkamp, Stefan

Showing 1 - 8 results of 8 Refine Results
  1. 1

    Algorithmic Intelligence: Towards an Algorithmic Foundation for Artificial Intelligence

    Authors: Edelkamp, Stefan
    Published: Springer 2023
    Springer Computer Science eBooks 2023 English/International: 2023 (Springer Link)
    Electronic eBook
  2. 2

    Heuristic search theory and applications

    Authors: Edelkamp, Stefan
    Published: Morgan Kaufmann, 2012
    ProQuest Ebook Central - Academic Complete: 2011 (Ebook Central @ Proquest)
    ScienceDirect eBooks Collection: 2012 (ScienceDirect)
    ScienceDirect eBooks - Computer Science 2011: 2012 (ScienceDirect)
    EBSCO eBooks: 2012 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2012 (EBSCO)
    Electronic eBook
  3. 3

    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

    Published: Springer Berlin Heidelberg : Imprint: Springer, 2007
    Other Authors: “…Edelkamp, Stefan…”
    Springer English/International eBooks 2007 - Full Set: 2007 (Springer Link)
    Electronic eBook
  4. 4

    KI 2011 : advances in artificial intelligence 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011 : proceedings

    Published: Springer, 2011
    Other Authors:
    Springer English/International eBooks 2011 - Full Set: 2011 (Springer Link)
    Electronic Conference Proceeding eBook
  5. 5

    Model checking software 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings

    Published: Springer, 2006
    Other Authors:
    Springer English/International eBooks 2007 - Full Set: 2007 (Springer Link)
    Electronic Conference Proceeding eBook
  6. 6

    KI 2021: Advances in Artificial Intelligence 44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings

    Published: Springer International Publishing : Imprint: Springer, 2021
    Other Authors: “…Edelkamp, Stefan…”
    Springer Computer Science eBooks 2021 English/International: 2021 (Springer Link)
    Electronic eBook
  7. 7

    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 In...

    Published: Springer International Publishing : Imprint: Springer, 2016
    Other Authors:
    Springer Computer Science eBooks 2016 English/International: 2016 (Springer Link)
    Electronic eBook
  8. 8

    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...

    Published: Springer International Publishing : Imprint: Springer, 2017
    Other Authors:
    Springer Computer Science eBooks 2017 English/International: 2017 (Springer Link)
    Electronic eBook