Showing 1 - 6 results of 6 for search 'Rabe, Florian', query time: 0.03s Refine Results
  1. 1
    Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Published 2017
    Other Authors: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
    Published 2009
    Other Authors: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
    Published 2018
    Other Authors: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
    Published 2015
    Other Authors: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
    Published 2017
    Other Authors: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings /
    Published 2011
    Other Authors: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search