دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
دانلود کتاب منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC '97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات
مشخصات کتاب
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
ویرایش: [1 ed.] نویسندگان: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) سری: Lecture Notes in Computer Science 1289 ISBN (شابک) : 9783540633853, 3540633855 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1997 تعداد صفحات: 355 [358] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 24 Mb
قیمت کتاب (تومان) : 82,000
در صورت تبدیل فایل کتاب Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC '97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC '97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس کورت گودل در مورد
منطق محاسباتی و نظریه اثبات، KGC '97، برگزار شده در وین،
اتریش، در اوت 1997 است.
این جلد 20 مقاله کامل اصلاح شده را ارائه می دهد که از 38
مقاله ارسالی انتخاب شده است. اوراق. همچنین شامل هفت مشارکت
دعوت شده توسط کارشناسان برجسته در این منطقه است. این کتاب
کارهای میان رشته ای انجام شده در زمینه علوم کامپیوتر و منطق
ریاضی را با ترکیب تحقیقات در مورد اثبات پذیری، تجزیه و تحلیل
اثبات ها، جستجوی اثبات، و پیچیدگی مستند می کند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th
Kurt Gödel Colloquium on Computational Logic and Proof
Theory, KGC '97, held in Vienna, Austria, in August
1997.
The volume presents 20 revised full papers selected from 38
submitted papers. Also included are seven invited
contributions by leading experts in the area. The book
documents interdisciplinary work done in the area of computer
science and mathematical logics by combining research on
provability, analysis of proofs, proof search, and
complexity.
