خرید کتاب Auto Hold – CADE 26: 26th International Auto Hold Convention، Gothenburg، Sweden، 6-11 August 2017، مجموعه مقالات

[ad_1]

این کتاب مجموعه مقالات بیست و ششمین کنفرانس بین المللی استنتاج خودکار ، CADE-26 است که در آگوست 2017 در گوتنبرگ ، سوئد برگزار شد. 26 اسناد کامل و 5 توضیحات سیستم با دقت بررسی و از 69 مقاله ارسالی انتخاب شد. CADE انجمن اصلی برای ارائه تحقیقات در مورد همه جنبه های استنباط خودکار است ، از جمله اصول ، برنامه ها ، پیاده سازی ها و تجربه عملی. فصل “صدور گواهینامه ادغام سیستمهای بازتعریف شرطی کاملاً قطعی شبه کاهش” در دامنه عمومی تحت مجوز CC BY 4.0 منتشر شده است.

[ad_2]

read more