Zoeken

U zocht naar: Auteur Felty, Amy Filter Auteur: Felty, Amy weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Interactive Theorem Proving
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Felty, Amy; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book