Search

You searched for: Auteur Geuvers Remove constraint Auteur: Geuvers
1 - 2 of 2
Number of results to display per page

Search Results

1. Intelligent Computer Mathematics
thumbnail
Full text!
Author:
Geuvers; England, Matthew; Hasan, Osman; Rabe, Florian; Teschke, Olaf
Publisher:
Springer International Publishing 2017
Format:
e-book
2. 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