Zoeken

U zocht naar: Auteur Geuvers, Herman Filter Auteur: Geuvers, Herman weghalen Taal Engels Filter Taal: Engels weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

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