دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
دانلود کتاب CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, 3-7 اکتبر 1988 مجموعه مقالات
مشخصات کتاب
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
ویرایش: [1 ed.] نویسندگان: Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.) سری: Lecture Notes in Computer Science 385 ISBN (شابک) : 354051659X, 9783540516590 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1989 تعداد صفحات: 404 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, 3-7 اکتبر 1988 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, 3-7 اکتبر 1988 مجموعه مقالات
این جلد شامل مقالاتی است که در دومین کارگاه "منطق علوم کامپیوتر" که در دویسبورگ، FRG، 3 تا 7 اکتبر 1988 برگزار شد، ارائه شد. علوم کامپیوتر. به طور خاص، مقالات به مشکلات ناشی از مرز منطق و علوم کامپیوتر می پردازند: به عنوان مثال. در پیچیدگی، نظریه پایگاه داده، برنامه نویسی منطقی، هوش مصنوعی و همزمانی. این جلد باید مورد توجه همه منطق دانان و دانشمندان کامپیوتری باشد که در زمینه های فوق کار می کنند.
توضیحاتی درمورد کتاب به خارجی
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.
