دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
by Andreas Abel (auth.)
|
عنوان فارسی: انواع برای اثبات و برنامه ها: کارگاه آموزشی بین المللی با انواع 99 Lökeberg, سوئد, ژوئن 12 تا 16 سال 1999 انتخاب مقالات |