Showing 1 - 4 results of 4 for search 'Sorge, Volker', query time: 0.02s Refine Results
  1. 1
    Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /
    Published 2002
    Other Authors: “…Sorge, Volker…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
    Published 2015
    Other Authors: “…Sorge, Volker…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings /
    Published 2008
    Other Authors: “…Sorge, Volker…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings /
    Published 2012
    Other Authors: “…Sorge, Volker…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search