Showing 1 - 2 results of 2 for search 'Wenzel, Makarius', query time: 0.01s Refine Results
  1. 1
    Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /
    Published 2009
    Other Authors: “…Wenzel, Makarius…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    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: “…Wenzel, Makarius…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search