Zoeken

U zocht naar: Auteur Altenkirch, Thorsten Filter Auteur: Altenkirch, Thorsten weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Types for Proofs and Programs
thumbnail
Full text!
Auteur:
Altenkirch, Thorsten; Kanade, Takeo; McBride, Conor; Kittler, Josef; McBride, Connor
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book