ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings

دانلود کتاب برنامه نویسی منطقی در عمل: دومین مدرسه بین المللی برنامه ریزی منطقی تابستانی، LPSS '92 زوریخ، سوئیس، 7 تا 11 سپتامبر 1992 مجموعه مقالات

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings

مشخصات کتاب

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings

ویرایش: [1 ed.] 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 636 
ISBN (شابک) : 9783540559306, 3540559302 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1992 
تعداد صفحات: 330
[333] 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 Mb 

قیمت کتاب (تومان) : 38,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 2


در صورت تبدیل فایل کتاب Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی منطقی در عمل: دومین مدرسه بین المللی برنامه ریزی منطقی تابستانی، LPSS '92 زوریخ، سوئیس، 7 تا 11 سپتامبر 1992 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب برنامه نویسی منطقی در عمل: دومین مدرسه بین المللی برنامه ریزی منطقی تابستانی، LPSS '92 زوریخ، سوئیس، 7 تا 11 سپتامبر 1992 مجموعه مقالات



برنامه نویسی منطقی از موقعیت ممتازی برخوردار است. این به طور محکم ریشه در منطق ریاضی دارد، اما بسیار کاربردی است، زیرا تعداد فزاینده ای از کاربران در دانشگاه ها، موسسات تحقیقاتی و صنعت متوجه می شوند. زبان های برنامه نویسی منطقی، به طور خاص Prolog، به عنوان نمونه اولیه و زبان های توسعه برنامه ایده آل هستند. این جلد مجموعه مقالات دومین مدرسه تابستانی برنامه نویسی منطقی، LPSS'92 را ارائه می دهد. اولین مدرسه تابستانی برنامه نویسی منطقی، LPSS '90، به مبانی نظری برنامه نویسی منطقی پرداخت. این جلد بر رابطه بین تئوری و عمل و کاربردهای عملی تمرکز دارد. مقدمه این جلد توسط R. Kowalski یکی از پیشگامان در این زمینه است. مقالات زیر در بخش‌هایی درباره برنامه‌نویسی منطق محدودیت، پایگاه‌های داده قیاسی و سیستم‌های خبره، پردازش زبان‌های طبیعی و رسمی، مهندسی نرم‌افزار و آموزش سازمان‌دهی شده‌اند.


توضیحاتی درمورد کتاب به خارجی

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.





نظرات کاربران