دانلود کتاب Improving proof search in intuitionistic propositional logic

بهبود جستجوی اثبات در منطق گزاره ای شهودی

زبان : English

نویسندگان : Klaus Weich

ناشر : Logos Verlag Berlin

سال انتشار : 2001

ISBN (شابک) : 3897227673, 9783897227675

ویرایش : [1 ed.]

سری : Panoramas et synthèses, no. 5

تعداد صفحات : x, 132 p. : ill. ; 2

حجم : 771 کیلوبایت

فرمت کتاب : djvu

قیمت : 36000 تومان