Zoeken

U zocht naar: Auteur Paulson, Lawrence C. Filter Auteur: Paulson, Lawrence C. 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