دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers
by Peter Aczel (auth.)
|
عنوان فارسی: انواع مدارک و برنامه ها: کارگاه بین المللی، TYPES 98 Kloster Irsee، آلمان، 27-31 مارس 1998، مقالات انتخاب شده |