Zoeken

U zocht naar: Auteur Gerwin Klein, Ruben Gamboa Filter Auteur: Gerwin Klein, Ruben Gamboa weghalen Taal Engels Filter Taal: Engels weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Interactive Theorem Proving
thumbnail
Full text!
Auteur:
Gerwin Klein, Ruben Gamboa; Gamboa, Ruben; Kittler, Josef
Uitgever:
Springer International Publishing 2014
Type:
e-book