دانلود کتاب Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
by René Ahn (auth.)
|
عنوان فارسی: انواع برای اثبات و برنامه ها: کارگاه آموزشی بین المللی " انواع 94 Båstad, سوئد, ژوئن 6-10, 1994 انتخاب مقالات |