Zoeken

U zocht naar: Auteur Wiedijk, Freek Filter Auteur: Wiedijk, Freek weghalen Fulltext online Filter Fulltext: online weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. The Seventeen Provers of the World
thumbnail
Full text!
Auteur:
Wiedijk, Freek; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book
2. 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
3. Intelligent Computer Mathematics
thumbnail
Full text!
Auteur:
Autexier, Serge; Campbell, John; Rubio, Julio; Siekmann, Jörg; Sorge, Volker; Suzuki, Masakazu; Wiedijk, Freek
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book