Showing 1 - 3 results of 3 for search 'Kerber, Manfred', query time: 0.02s Refine Results
  1. 1
    Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /
    Published 2007
    Other Authors: “…Kerber, Manfred…”
    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: “…Kerber, Manfred…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
    Published 2000
    Other Authors: “…Kerber, Manfred…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search