Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

دانلود کتاب Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

دسته: منطق

75000 تومان موجود

کتاب اثبات قضیه در منطق های مرتبه بالاتر: بیست و یکمین کنفرانس بین المللی، TPHOLs 2008، مونترال، کانادا، 18-21 اوت 2008. مجموعه مقالات

دانلود کتاب اثبات قضیه در منطق های مرتبه بالاتر: بیست و یکمین کنفرانس بین المللی، TPHOLs 2008، مونترال، کانادا، 18-21 اوت 2008. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید



امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 10


توضیحاتی در مورد کتاب Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

نام کتاب : Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : اثبات قضیه در منطق های مرتبه بالاتر: بیست و یکمین کنفرانس بین المللی، TPHOLs 2008، مونترال، کانادا، 18-21 اوت 2008. مجموعه مقالات
سری : Lecture Notes in Computer Science 5170
نویسندگان : , , ,
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2008
تعداد صفحات : 329
ISBN (شابک) : 3540710655 , 9783540710653
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت



Buy This Book From EBOOKST.COM

بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.




پست ها تصادفی