دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic programming: proceedings 4th international conference, vol.1
دانلود کتاب برنامه ریزی منطقی: مجموعه مقالات چهارمین کنفرانس بین المللی، جلد 1
مشخصات کتاب
Logic programming: proceedings 4th international conference, vol.1
ویرایش:
نویسندگان: Jean-Louis Lassez (ed.)
سری:
ISBN (شابک) : 026212128X, 0262121255
ناشر: Mit Pr
سال نشر: 1987
تعداد صفحات: 576
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Logic programming: proceedings 4th international conference, vol.1 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی منطقی: مجموعه مقالات چهارمین کنفرانس بین المللی، جلد 1 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی منطقی: مجموعه مقالات چهارمین کنفرانس بین المللی، جلد 1
45 مشارکت در این کتاب تمام جنبه های برنامه نویسی منطقی، از جمله نظریه و مبانی را در نظر می گیرند. معماری و پیاده سازی؛ زبان های برنامه نویسی و متدولوژی؛ پایگاه های داده؛ بازنمایی دانش، استدلال، و سیستم های خبره؛ و روابط با سایر مدل های محاسباتی، زبان های برنامه نویسی و روش های برنامه نویسی. فصل هایی در مورد برنامه های کاربردی جدید و برنامه هایی وجود دارد که به ویژگی منحصر به فرد برنامه نویسی منطقی می پردازد. سخنرانان دعوت شده عبارتند از: کیت کلارک (کالج امپریال لندن)، هروه گالر (ECRC، مونیخ)، فرناندو پریرا (SRI International)، کی آر رائو (دانشگاه ملبورن)، جی. آلن رابینسون (دانشگاه سیراکوز)، و ماساهیکو ساتو (توهوکو) دانشگاه). Jean-Louis Lassez دانشمند پژوهشی مرکز تحقیقات توماس جی واتسون IBM است. برنامه‌نویسی منطقی: مجموعه مقالات چهارمین کنفرانس بین‌المللی در مجموعه برنامه‌نویسی منطقی (گزارش‌ها و یادداشت‌های پژوهشی)، ویرایش شده توسط ایهود شاپیرو گنجانده شده است. مجموعه دو جلدی
توضیحاتی درمورد کتاب به خارجی
The 45 contributions in this book consider all aspects of logic programming, including theory and foundations; architectures and implementations; programming languages and methodology; databases; knowledge representation, reasoning, and expert systems; and relations to other computation models, programming languages, and programming methodologies. There are chapters on novel applications and on applications that address the unique character of logic programming. Invited speakers are Keith Clark (Imperial College, London), Herve Gallaire (ECRC, Munich), Fernando Pereira, (SRI International), K. R. Rao (University of Melbourne), J. Alan Robinson (Syracuse University), and Masahiko Sato (Tohoku University). Jean-Louis Lassez is a Research Scientist with IBM's Thomas J. Watson Research Center. Logic Programming: Proceedings of the Fourth International Conferenceis included in the series Logic Programming (Research Reports and Notes), edited by Ehud Shapiro. Two-volume set
