دانلود کتاب Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
دسته: ریاضیات محاسباتی
کتاب مجموعه مقالات کولوکیوم منطق. در آخن، 18 تا 23 ژوئیه، 1983 برگزار شد: بخش 2: محاسبات و نظریه اثبات نسخه زبان اصلی
دانلود کتاب مجموعه مقالات کولوکیوم منطق. در آخن، 18 تا 23 ژوئیه، 1983 برگزار شد: بخش 2: محاسبات و نظریه اثبات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
نام کتاب : Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
ویرایش : 1
عنوان ترجمه شده به فارسی : مجموعه مقالات کولوکیوم منطق. در آخن، 18 تا 23 ژوئیه، 1983 برگزار شد: بخش 2: محاسبات و نظریه اثبات
سری : Lecture Notes in Mathematics
نویسندگان : M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas
ناشر : Springer
سال نشر : 1984
تعداد صفحات : 483
ISBN (شابک) : 354013901X , 9783540139010
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.