Skip recommendations
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Wiedijk, Freek', tiempo de consulta: 0.02s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings /
    Publicado 2011
    Otros Autores:
    Texto Completo
    Electrónico 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 /
    Publicado 2008
    Otros Autores:
    Texto Completo
    Electrónico eBook
  3. 3
    The Seventeen Provers of the World Foreword by Dana S. Scott /
    Publicado 2006
    Otros Autores: “…Wiedijk, Freek…”
    Texto Completo
    Electrónico eBook