Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 669 of 859
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers Cover Image E-book E-book

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Berardi, Stefano. (editor.). Damiani, Ferruccio. (editor.). de’Liguoro, Ugo. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

Back To Results
Showing Item 669 of 859

Additional Resources