Zoeken

U zocht naar: Auteur Kaufmann, Matt Filter Auteur: Kaufmann, Matt weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Interactive Theorem Proving
thumbnail
Full text!
Auteur:
Kaufmann, Matt; Kanade, Takeo; Paulson, Lawrence C.; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book