دانلود کتاب 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 مجموعه مقالات) نوشته شده توسط «Klaus Ambos-Spies – Jürgen Kämper (auth.) – Egon Börger – Hans Kleine Büning – Michael M. Richter (eds.)»
اطلاعات کتاب CSL ’88: 2nd Workshop on Computer Science Logic Duisburg, FRG, 3-7 اکتبر 1988 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Klaus Ambos-Spies – Jürgen Kämper (auth.) – Egon Börger – Hans Kleine Büning – Michael M. Richter (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1989
تعداد صفحه: 404
حجم کتاب: 3 مگابایت
کد کتاب: 354051659X , 9783540516590
نوبت چاپ: 1
توضیحات کتاب 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.
