دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
by Robin Adams (auth.)
|
عنوان فارسی: مقالات کارگاه آموزشی بین المللی ، انواع 2004 ، به Jouy -EN- Josas ، فرانسه، 15-18 دسامبر ، 2004 ، تجدید نظر انتخاب شده: انواع برای اثبات و برنامه |