Zoeken

U zocht naar: Auteur McBride, Connor Filter Auteur: McBride, Connor weghalen Fulltext online Filter Fulltext: online 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