ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

دانلود کتاب مبانی منطق و برنامه نویسی عملکردی: کارگاه ترنتو ، ایتالیا ، 15-19 دسامبر ، 1986 مجموعه مقالات

Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

مشخصات کتاب

Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 306 
ISBN (شابک) : 9783540191292, 3540191291 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1988 
تعداد صفحات: 222 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب مبانی منطق و برنامه نویسی عملکردی: کارگاه ترنتو ، ایتالیا ، 15-19 دسامبر ، 1986 مجموعه مقالات: تکنیک های برنامه نویسی



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

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


در صورت تبدیل فایل کتاب Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی منطق و برنامه نویسی عملکردی: کارگاه ترنتو ، ایتالیا ، 15-19 دسامبر ، 1986 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مبانی منطق و برنامه نویسی عملکردی: کارگاه ترنتو ، ایتالیا ، 15-19 دسامبر ، 1986 مجموعه مقالات



این جلد شامل برخی از مقالاتی است که در کارگاه آموزشی "مبانی منطق و برنامه نویسی عملکردی" که از 15 تا 19 دسامبر 1986 در ترنتو، ایتالیا برگزار شد، ارائه شد. این جلسه با محوریت موضوعات و گرایش ها در برنامه نویسی تابعی و در برنامه نویسی منطقی. این کتاب شامل پنج مقاله ارائه شده توسط سخنرانان دعوت شده و پنج مشارکت منتخب است.


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

This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.



فهرست مطالب

Rum an intensional theory of function and control abstractions....Pages 1-44
Typechecking dependent types and subtypes....Pages 45-57
Reducing recursion to iteration by means of pairs and N-tuples....Pages 58-66
Unification revisited....Pages 67-113
Rule rewriting methods for efficient implementations of horn logic....Pages 114-139
PAP: a logic programming system based on a constructive logic....Pages 141-156
A completeness result for E-unification algorithms based on conditional narrowing....Pages 157-167
Representing domain structure of many-sorted Prolog knowledge bases....Pages 168-183
Horn: An inference engine prototype to implement intelligent systems....Pages 184-200
Hints for the design of a set calculus oriented to Automated Deduction....Pages 201-218




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