Showing 1 - 2 results of 2 for search 'Wiedijk, Freek', query time: 0.01s Refine Results
  1. 1
    The Seventeen Provers of the World Foreword by Dana S. Scott
    by Wiedijk, Freek
    Published in Springer e-books (2006)
    Get full text
    eBook
  2. 2
    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 /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Other Authors: “...Wiedijk, Freek...”
    Get full text
    eBook
Search Tools: Get RSS Feed