Showing 1 - 3 results of 3 for search 'Geuvers, Herman', query time: 0.02s Refine Results
  1. 1
    Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers /
    Published 2003
    Other Authors: “…Geuvers, Herman…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /
    Published 2011
    Other Authors: “…Geuvers, Herman…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
    Published 2017
    Other Authors: “…Geuvers, Herman…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search