دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
دانلود کتاب CSL '89: سومین کارگاه آموزشی منطق علوم کامپیوتر Kaiserslautern, FRG, 2-6 اکتبر 1989 مجموعه مقالات
مشخصات کتاب
CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
ویرایش: [1 ed.] نویسندگان: Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.) سری: Lecture Notes in Computer Science 440 ISBN (شابک) : 3540527532, 9783540527534 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1990 تعداد صفحات: 444 [442] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب CSL '89: سومین کارگاه آموزشی منطق علوم کامپیوتر Kaiserslautern, FRG, 2-6 اکتبر 1989 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب CSL '89: سومین کارگاه آموزشی منطق علوم کامپیوتر Kaiserslautern, FRG, 2-6 اکتبر 1989 مجموعه مقالات
این جلد شامل نسخه های اصلاح شده 28 مقاله ارائه شده در سومین کارگاه در مورد منطق علوم کامپیوتری است که در Kaiserslautern، FRG، 2-6 اکتبر 1989 برگزار شد. علوم پایه. به طور خاص، مقالات به مشکلات ناشی از مرز منطق و علوم کامپیوتر می پردازند، به عنوان مثال. در پیچیدگی، نظریه پایگاه داده، برنامه ریزی منطقی، هوش مصنوعی و منطق زمانی. این جلد باید مورد توجه همه منطق دانان و دانشمندان رایانه ای باشد که در زمینه فوق کار می کنند.
توضیحاتی درمورد کتاب به خارجی
This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. 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 intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Global Public Health: Ecological Foundations
دانلود کتاب Profit from the Peak: The End of Oil and the Greatest Investment Event of the Century (Angel Series)
دانلود کتاب Наглядная биохимия
دانلود کتاب Using Animal Models in Biomedical Research: A Primer for the Investigator
