دانلود کتاب Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ’97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
49,000 تومان
اثبات قضیه در منطق های مرتبه بالاتر: دهمین کنفرانس بین المللی، TPHOLs ’97 موری هیل، نیوجرسی، ایالات متحده، 19 تا 22 اوت، 1997 مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 346 |
| حجم فایل | 25 مگابایت |
| کد کتاب | 3540633790,9783540633792 |
| نوبت چاپ | 1 |
| نویسنده | Amy Felty (eds.), Elsa L. Gunter, Jacob Frost (auth.), Sten Agerholm |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1997 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
اثبات قضیه در منطق های مرتبه بالاتر: دهمین کنفرانس بین المللی، TPHOLs ’97 موری هیل، نیوجرسی، ایالات متحده، 19 تا 22 اوت، 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کنفرانس بینالمللی اثبات قضیه در منطقهای مرتبه بالاتر، TPHOLs ’97 است که در موری هیل، نیوجرسی، ایالات متحده آمریکا، در آگوست 1997 برگزار شد.
این جلد 19 مقاله کامل را ارائه میکند که با دقت اصلاح شدهاند. از بین 32 مورد ارسالی طی یک فرآیند بررسی کامل انتخاب شد. این مقالات کارهای مربوط به تمام جنبه های اثبات قضیه در منطق های مرتبه بالاتر را پوشش می دهند، به ویژه بر اساس مکانیزاسیون ایمن آن منطق ها. سیستم های اثبات قضیه پرداخته شده عبارتند از Coq، HOL، Isabelle، LEGO و PVS.
This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs ’97, held in Murray Hill, NJ, USA, in August 1997.
The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
| موضوع اصلی | کامپیوتر - تجارت و فرهنگ کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer Berlin Heidelberg |
| تعداد صفحه | 393 |
| حجم فایل | 18.40 مگابایت |
| کد کتاب | 366258820X , 9783662588208 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.