Generic Programs and Proofs

Opis bibliograficzny
1. autor: Hinze, R
Format: Praca dyplomowa
Wydane: 2000