Zoeken

U zocht naar: Auteur Goos, Gerhard Filter Auteur: Goos, Gerhard weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Mechanizing Mathematical Reasoning
thumbnail
Full text!
Auteur:
Goos, Gerhard; Hartmanis, Juris; Hutter, Dieter; Siekmann, Jörg H.; Stephan, Werner; van Leeuwen, Jan
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book