Search

You searched for: Auteur Geuvers, Herman Remove constraint Auteur: Geuvers, Herman
1 entry found
Number of results to display per page

Search Results

1. Interactive Theorem Proving
thumbnail
Full text!
Author:
Eekelen, Marko; Geuvers, Herman; Kanade, Takeo; Schmaltz, Julien; Wiedijk, Freek
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book