Zoeken

U zocht naar: Auteur de Liguoro, Ugo Filter Auteur: de Liguoro, Ugo 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:
Berardi, Stefano; Damiani, Ferruccio; Kanade, Takeo; de Liguoro, Ugo
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book