Search Results - Geuvers, Herman

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Type theory and formal proof an introduction by Nederpelt, Rob, Geuvers, Herman

    Published 2014
    Book


    Cover Image
  2. 2

    Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings

    Published 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image

Search Tools: