Skip recommendations
Showing 1 - 1 results of 1 for search 'Geuvers, Herman', query time: 0.01s Refine Results
Search Tools: 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 /
    Published 2011
    Other Authors:
    Texto Completo
    Electronic eBook