دانلود کتاب Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers
by Eduardo Giménez
|
عنوان فارسی: انواع برای اثبات و برنامه ها: کارگاه آموزشی بین المللی " انواع 96 Aussois فرانسه دسامبر 15-19 سال 1996 انتخاب مقالات |