
Types for proofs and programs : International Workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Types for proofs and programs : International Workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
افزودن به بوکمارک
اشتراک گذاری
0 دیدگاه کاربران
5
(0)
TYPES 2004
مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید
این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.