Showing 1 - 5 results of 5 for search 'Wiedijk, Freek', query time: 0.04s Refine Results
  1. 1
    The Seventeen Provers of the World Foreword by Dana S. Scott /
    Published 2006
    Other Authors: “…Wiedijk, Freek…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    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: “…Wiedijk, Freek…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
    Published 2003
    Other Authors: “…Wiedijk, Freek…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /
    Published 2011
    Other Authors: “…Wiedijk, Freek…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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: “…Wiedijk, Freek…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search