با سلام خدمت کاربران در صورتی که با خطای سیستم پرداخت بانکی مواجه شدید از طریق کارت به کارت (6037997535328901 بانک ملی ناصر خنجری ) مقاله خود را دریافت کنید (تا مشکل رفع گردد).
دسته بندی:
علوم کامپیوتر - computer science
سال انتشار:
2015
عنوان انگلیسی مقاله:
Proof Complexity and Textual Cohesion
ترجمه فارسی عنوان مقاله:
پیچیدگی اثبات و انسجام متنی
منبع:
springer-J Log Lang Inf (2015) 24:53–64 DOI 10.1007/s10849-014-9212-1
نویسنده:
Eli Dresner
چکیده انگلیسی:
In the first section of this paper I define a set of measures for proof complexity, which combine measures in terms of length and space. In the second section these measures are generalized to the broader category of formal texts. In the third section of the paper I outline several applications of the proposed theory. Keywords Proof complexity · Text complexity · Cohesion · Texture
قیمت: رایگان
توضیحات اضافی:
تعداد نظرات : 0